레오 해링턴
Leo Harrington레오 해링턴 | |
|---|---|
 | |
| 태어난 | 1946년 5월 17일 ( (75세) |
| 시민권 | 미국 |
| 모교 | MIT |
| 수상 | 괴델 강의(1995) |
| 과학 경력 | |
| 필드 | 수학 |
| 기관 | 버클리 캘리포니아 대학교 |
| 박사학위 자문위원 | 제럴드 E.색스 |
| 박사과정 학생 | |
레오 앤서니 해링턴(Leo Anthony Harrington, 1946년 5월 17일 출생)은 미국 버클리 캘리포니아 대학교의 수학 교수로, 재귀론, 모델론, 세트론 등에서 활동하고 있다.수학자에서 은퇴한 레오 해링턴 교수는 이제 철학자다.[citation needed]
그의 주목할 만한 결과로는 제프 파리와 함께 파리-해링턴의 정리를 증명하고,[1] 모든 분석 집합에 대해 결정성의 공리가 유지된다면 모든 reals x에 대해 x가# 존재한다는 것을 보여주며,[2] 부분적으로 순서가 정해진 turing 도수의 1차 이론은 불찰할 수 없다는 것을 사하라 셀라와 함께 증명하는 것이 있다.[3]
참조
- ^ Paris, J.; Harrington, L. (1977), "A Mathematical Incompleteness in Peano Arithmetic", in Barwise, J. (ed.), Handbook of Mathematical Logic, North-Holland, pp. 1133–1142
- ^ Harrington, L. (1978), "Analytic Determinacy and 0#", Journal of Symbolic Logic, 43 (4): 685–693, doi:10.2307/2273508, JSTOR 2273508
- ^ Harrington, L.; Shelah, S. (1982), "The undecidability of the recursively enumerable degrees", Bull. Amer. Math. Soc. (N.S.), 6 (1): 79–80, doi:10.1090/S0273-0979-1982-14970-9
외부 링크
