다나 스콧의 지도로 1968년 스탠퍼드 대학에서 취득한 박사 학위 논문은 대수와 정수론에 대한 모형론의 응용을 재정의한 연구 경력의 시작을 알렸다. 영국의 수학자인 앵거스 매킨타이어는 기하학적 안정성 이론과 p진 체 해석학에서 기초적인 결과를 확립하여 이후 수십 년간의 수학적 연구에 영향을 미쳤다.
학문적 경력
그의 경력에는 1973년부터 1985년까지 예일 대학교에서의 장기 재직이 포함된다. 이후 1985년부터 1999년까지 옥스퍼드 대학교 머턴 칼리지에서 수리논리학 교수로 재직했다. 그 후 에든버러 대학교와 퀸 메리 런던 대학교에서 직위을 맡았다. 또한 에든버러 국제 수리과학 센터의 초대 과학 소장을 역임했다.
모형론과 대수적 기초
1971년 매킨타이어는 군과 체의 알레프-원 범주적 이론을 분류하여 기하학적 안정성 이론의 틀을 제공했다. 1976년까지 p진 체에 대한 양화사 제거 정리를 증명했다. 이 연구는 반대수 기하학 및 준해석 기하학의 발전을 가능하게 했으며, 얀 데네프는 나중에 이를 적용하여 p진 푸앵카레 급수의 유리성을 증명했다. 그의 연구는 차분 체, 프로베니우스 자기동형사상, 교차 이론으로 더욱 확장되어 모형론적 방법을 대수적 주기에 대한 표준 추측과 연결했다.
지수화와 o-극소성
알렉스 윌키, 로우 판 덴 드리스, 데이비드 마커와의 공동 연구를 통해 매킨타이어는 초월수론의 복잡한 문제를 다룰 수 있었다. 윌키와 함께 샤누엘 추측을 가정하여 실수 지수 체의 결정가능성을 증명했다. 판 덴 드리스 및 마커와 함께 제한된 해석 함수를 가진 실수 체의 모형론을 연구하여 o-극소성과 디오판토스 기하학 연구의 기초를 마련했다. 그의 연구는 VC 차원에도 걸쳐 있으며 이론 Computer Science와 신경망에 응용된다.
최근 기여 및 전문적 인정
매킨타이어는 수 체의 이론적 구조를 꾸준히 연구해 왔다. 잼시드 데라흐샨과의 협력을 통해 아델 환에 대한 모형론을 발전시켜 솔로몬 페퍼먼과 로버트 보우트의 기초적 연구를 확장했다. 2023년, 데라흐샨과 매킨타이어는 유한체 이론에 관해 제임스 액스가 1968년에 제기한 결정 문제를 긍정적으로 해결했다. 매킨타이어는 왕립학회와 에든버러 왕립학회의 펠로이다. 2003년 폴리아상을 수상했으며 2009년부터 2011년까지 런던 수학회 회장을 역임했다.
주요 사실
- 출생: 1941년 - 국적: 영국 - 박사 지도교수: 다나 스콧 - 괴델 강연자: 1993년 - 왕립학회 펠로: 1993년 선출 - 폴리아상: 2003년 - 런던 수학회 회장: 2009년–2011년
독자들이 자주 묻는 질문
### 매킨타이어의 주요 전문 분야는 무엇인가요?
그는 모형론과 그것의 대수학, 대수기하학, 정수론에의 응용을 전문으로 하는 수학자이자 논리학자이다.
### 그가 2023년에 해결한 주요 수학 문제는 무엇인가요?
잼시드 데라흐샨과 함께 모든 Z/mZ 클래스의 결정가능성을 증명하여 제임스 액스의 1968년 추측을 해결했다.
