알프레드 타르스키
Alfred Tarski
생애
1933년 바르샤바에서 32세의 타르스키는 Pojęcie prawdy w językach nauk dedukcyjnych를 출판했다. 그는 특정 형식언어의 진리를 더 강한 메타언어에서 재귀적으로 정의하는 방법을 제시했다. Convention T는 정의 자체가 아니라 적합한 정의가 충족해야 할 물질적 적합성 조건이며, “눈은 희다”가 참이다 ↔ 눈은 희다는 그 조건에 속하는 한 T-문장 사례다. 폴란드어 원저작은 1933년, 확장 독일어판은 1935년, 해당 저작의 영어 번역은 1956년에 나왔다. 1944년 The Semantic Conception of Truth and the Foundations of Semantics는 별도 논문이다. 1939년 Unity of Science 운동 학회 참석차 미국에 왔다가 제2차 세계대전 발발로 귀국하지 못해 정착했고, 이후 Berkeley에서 논리학과 수학 기초론 연구 공동체를 키웠다.
결정적 순간
Banach-Tarski 역설 — 부피를 깨는 분해
바르샤바Stefan Banach와 공동 — 3차원 공의 5조각 분해로 원래와 같은 크기의 공 2개를 만들 수 있다. 선택공리 + 3차원 회전군의 자유 부분군을 이용. 측도가 정의될 수 없는 집합의 존재를 가장 강하게 보여준 결과 — 공리 선택의 철학적 부담의 시작.
형식언어의 진리 정의 — Convention T의 적합성 조건
바르샤바Pojęcie prawdy w językach nauk dedukcyjnych는 특정 형식언어에 대한 재귀적 진리 정의를 더 강한 메타언어에서 구성한다. Convention T는 정의 자체가 아니라 그 정의가 충족해야 할 적합성 조건이고, 눈에 관한 양조건문은 한 사례다. 폴란드어 1933, 확장 독일어판 1935, 영어 번역 1956. 1944년 논문은 별도 저작이다.
UC Berkeley 부임 — 논리학 연구 공동체
버클리1939년 Unity of Science 대회 참석차 미국에 왔다가 폴란드 침공으로 귀국하지 못했다. 1942년 Berkeley 부임 후 논리학·모델 이론 연구를 이끌었고 1958년 Group in Logic and the Methodology of Science를 설립했다.
이 사람이 없었다면
아래 내용은 확인된 역사적 사실이 아니라, 이 인물의 영향을 생각해 보는 가정입니다.
타르스키의 진리 정의와 의미론 연구는 현대 논리학과 모델 이론의 핵심 도구가 되었다. Banach-Tarski 역설(1924)은 선택공리가 허용하는 비직관적 분해를 선명하게 보여 주었다. 1939년 Unity of Science 대회 참석차 미국에 왔다가 귀국하지 못한 뒤, Berkeley에서 형성한 연구 공동체는 전후 수리논리학의 중요한 중심이 되었다.
MathVoyage 너머로
불러오는 중…