앵거스 마킨타이어

앵거스 맥킨타이어
2009년 앵거스 매킨타이어
태어난	앵거스 존 매킨타이어 1941년(80~81)
모교	케임브리지 대학교 (BA) 스탠퍼드 대학교(PhD)
수상	괴델 강의 (1993) 왕립학회 회원 (1993)[1] 폴리아상 (2003) 에든버러 왕립학회 회원[언제?]
과학 경력
기관	런던 퀸 메리 대학교 에든버러 대학교 옥스퍼드 대학교 예일 대학교
논문	실제 닫힌 필드 쌍 분류 (1968)
박사학위 자문위원	다나 스콧[2]
박사과정 학생	조에 차지다키스[2]
웹사이트	maths.qmul.ac.uk/people/amacintyre

앵거스 존 매킨티어 FRS,^[1] FRSE(Frangus John Macintyre FRS, FRSE, 1941년 출생)는 영국의 수학자 겸 논리학자로, 모델 이론, 논리학, 대수 기하학, 숫자 이론의 응용 분야에서 선도적인 인물이다.그는 런던 퀸 메리 대학의 수학 명예 교수다.^[3]

교육

케임브리지 대학에서 학부과정을 거쳐 1968년 다나 스콧의 감독하에 스탠포드 대학에서 박사학위를 마쳤다.^[2]

직업 및 연구

1973년부터 1985년까지 그는 예일 대학교의 수학 교수였다.1985년부터 1999년까지 옥스퍼드 대학교 머튼 칼리지의 수학 논리학 교수로 재직했다.1999년 매킨타이어는 에든버러 대학교로 옮겨 2002년까지 수학 교수로 재직하다가 런던 대학교 퀸 메리 칼리지로 옮겼다.매킨타이어는 에든버러에 있는 국제수학과학센터(ICMS)의 첫 과학부장이었다.

Macintyre는 많은 중요한 결과로 알려져 있다.여기에는 1971년 그룹과 분야의 알레프원 범주형 이론의 분류가 포함돼 있어 기하학적 안정성 이론의 발전에 큰 영향을 미쳤다.^{[citation needed]}1976년에 그는 얀 드네프, 루 반 덴 드레이스 등이 보여주듯이 p-adic 분야에 대한 반알제브라질 및 아분석 기하학 이론이 (실제 분야에 대한 그것과 유사하게) 따르는 p-adic 분야에 대한 정량화 제거에 관한 결과를 증명했다.이 정량화 제거 정리는 1984년 얀 드네프가 여러 p-adic Poincaré 시리즈의 합리성에 대한 장-피에르 세레의 추측을 입증하기 위해 사용했으며, 이후 이러한 방법들이 적용되어 집단 이론(예: 부분군 성장)과 다양한 저자에 의한 광범위한 생성 기능의 합리성을 입증하게 되었다.Dan Segal과 Marcus du Sautoy. 단 시걸과 마커스 듀 Sautoy.맥킨타이어는 조에 차츠다키스, 루 반 덴 드레이스와 함께 세르게 랭과 안드레 웨일의 추정치를 일반화하여 유한한 분야의 논리에 대한 제임스 액스의 연구를 재방문했다.그는 차이 분야의 모델 이론과 프로베니우스 자동화에 대한 결과를 시작하고 증명했는데, 여기서 그는 액스의 작품이 이 환경(모델-회사 및 결정성 포함)으로 확장되었음을 증명했다.독립적으로 에후드 후르쇼프스키가 프로베니우스 오토모형에 대한 모델-이론적 결과를 증명했다.마킨타이어는 교차로 이론에 대한 1차 모델 이론을 개발했고 알렉산더 그로텐디크의 대수 사이클에 대한 표준 추측과 연관성을 보여주었다.

Macintyre는 실제적이고 복잡한 강조의 모델 이론에서 많은 결과를 증명했다.알렉스 윌키와 함께 그는 진정한 지수 분야의 결정성을 증명했다. (알프레드 타르스키의 문제 해결) 초절수 이론에서 나온 샤누엘의 추측.루 판 덴 드리스와 함께 그는 로그-엑스포머 시리즈와 하디 분야의 모델 이론을 시작, 연구했다.데이비드 마커, 루 반 덴 드레이스와 함께, 그는 지수와 O-미니멀리티에 많은 응용을 가졌던 제한된 분석 기능을 탑재한 실장의 모델 이론에 대해 몇 가지 결과를 증명했다.판 덴-마킨티레-마커의 연구는 시무라 품종(Anand Filay, Saguar Starchenko, Jonathan Pila)과 표현 이론(Wilfried Schmid and Kari Vilonen)에 디오판틴 기하학에 대한 많은 응용을 발견했다.마킨타이어는 보리스 질버의 복합적 지수에 대한 이론과 질버의 사이비-우수적 분야에 대한 결과를 입증했다.

Macintyre와 Jamshid Derakshan은 정량화 제거와 정의 가능한 세트의 측정가능성에 대한 결과를 증명하는 숫자 영역의 아델 링에 대한 모델 이론을 개발했다.그들은 솔로몬 페퍼만과 로버트 바우트의 대수적 구조의 1차 생산 이론에 기초적인 작업을 사용하고 확장한다.아델 반지는 클로드 체발리에 의해 소개되었다.(에델이라는 단어는 "additive idele"^[2]의 줄임말이며, 안드레 웨일에 의해 발명되었다.이전 명칭은 평가 벡터였다.)^{[citation needed]}아델을 처음 도입한 목적은 계급장 이론을 단순화하고 명확히 하는 것이었다.존 테이트의 논문, 안드레 웨일과 다마가와 츠네오의 아델릭 그룹과 품종에 관한 작품, 로버트 랭랜즈 등의 작품, 랭글랜즈 프로그램을 중심으로 한 작품 등 수 이론에 있어서 응용 범위가 넓은 문제를 재빨리 찾아냈다.

마킨타이어와 마렉 카르핀스키는 이론적 컴퓨터 과학과 신경 네트워크에 응용한 VC-디멘션에 대해 몇 가지 결과를 증명했다.

수상 및 명예

그는 1993년에 왕립 협회의 회원으로 선출되었다.^[1]2003년에는 런던수학협회로부터 폴리야상을 받았다.2009년부터 2011년까지 런던수학협회(LMS) 회장을 지냈다.

참조