안제이 모스토프스키

1. 개요

안제이 모스토프스키는 1913년 오스트리아-헝가리 제국의 르비우에서 태어나, 폴란드의 수학자이자 논리학자였다. 바르샤바 대학교에서 카지미에시 쿠라토프스키, 알프레트 타르스키 등에게 수학을 배웠고, 제2차 세계 대전 중에는 지하 학교에서 연구를 지속했다. 전후 수리논리학, 집합론, 모델 이론, 계산 가능성 이론 등을 연구했으며, 1946년부터 사망할 때까지 바르샤바 대학교에서 교수로 재직했다. 1975년 캐나다 밴쿠버에서 61세의 나이로 사망했으며, 그의 아들 타데우시 모스토프스키 역시 수학자이다.

2. 생애

모스토프스키는 1913년 당시 오스트리아-헝가리 제국령이었던 르비우(당시 명칭은 렘베르크)에서 태어났다.

그의 아들 타데우시 모스토프스키도 미분 기하학을 연구하는 수학자이다. 타데우시는 크지슈토프 쿠르디카, 아담 파루신스키와 함께 2000년에 르네 톰의 기울기 추측을 해결했다.

2.1. 교육

모스토프스키는 1931년 바르샤바 대학교에 입학하여 카지미에시 쿠라토프스키, 아돌프 린덴바움, 알프레트 타르스키 등 저명한 수학자들의 가르침을 받았다. 1939년 박사 학위를 받았으며, 공식 지도 교수는 쿠라토프스키였으나 실제로는 타르스키의 지도를 주로 받았다.

2.2. 제2차 세계 대전

제2차 세계 대전 당시 독일의 폴란드 침공으로 모스토프스키는 회계사로 일하면서도 지하 바르샤바 대학교에서 연구를 계속했다. 1944년 바르샤바 봉기 이후 독일군이 그를 강제 수용소로 끌고 가려 했으나, 간호사들의 도움으로 탈출했다. 이때 연구 노트 대신 빵을 챙겨 많은 연구 자료가 소실되었다.

2.3. 전후 활동

제2차 세계 대전 이후, 모스토프스키는 1946년부터 사망할 때까지 바르샤바 대학교 교수로 재직했다. 그는 수리논리학, 집합론, 모델 이론을 연구하였으며, 이후 계산 가능성 이론에 특히 치중하였다. 그는 1952년 폴란드 과학 아카데미에 편입된 국립 수학 연구소에서도 일했다.

1954년 폴란드 재건 훈장 기사 십자 훈장을 받았고, 1963년 폴란드 과학 아카데미 정회원으로 선출되었다.

1975년 캐나다 밴쿠버에서 61세의 나이로 사망했다.

3. 연구 업적

안제이 모스토프스키는 주로 재귀 이론과 결정 불가능성에 관한 연구를 했다. 그는 1946년부터 캐나다 밴쿠버에서 사망할 때까지 바르샤바 대학교에서 연구를 계속했으며, 1차 논리와 모형 이론에 대한 연구도 수행했다.

3.1. 재귀 이론 및 결정 불가능성

모스토프스키는 재귀 이론과 결정 불가능성에 관한 연구를 주로 했다. 1946년부터 캐나다 밴쿠버에서 사망할 때까지 바르샤바 대학교에서 연구를 계속했으며, 1차 논리와 모형 이론에 대한 연구를 수행했다.

3.2. 모델 이론

모스토프스키는 공리적 시스템의 모델, 이론의 직접 곱, 한정사(quantifier)의 일반화에 대한 연구를 수행했다.

4. 가족

그의 아들 타데우시 모스토프스키 또한 미분 기하학을 연구하는 수학자이다. 그는 크지슈토프 쿠르디카, 아담 파루신스키와 함께 2000년에 르네 톰의 기울기 추측을 해결했다.

5. 저서 및 논문

안제이 모스토프스키는 카지미에시 쿠라토프스키와 함께 《집합론. 기술적 집합론 입문 포함》을 저술했고, 《형식화된 산술에서 결정 불가능한 문장: 쿠르트 괴델의 이론 해설》, 《응용을 위한 구성 가능한 집합》 등을 저술했다.

주요 논문은 다음과 같다.

5.1. 저서

* 카지미에시 쿠라토프스키와 함께 저술, 《집합론. 기술적 집합론 입문 포함》, 논리학 및 수학 기초 연구 #86, 노스홀랜드, 1968 & 1976.
* 《형식화된 산술에서 결정 불가능한 문장: 쿠르트 괴델의 이론 해설》, 노스홀랜드, 암스테르담, 1952.
* 《응용을 위한 구성 가능한 집합》, 노스홀랜드, 암스테르담, 1969.

5.2. 주요 논문