피터 아첼
Peter Aczel피터 아첼 | |
|---|---|
 피터 아크젤(왼쪽)과 마이클 래셴, 오버울프치 2004. | |
| 태어난 | 피터 헨리 조지 아크젤 1941년 10월 31일 |
| 죽은 | 2023년 8월 1일 |
| 국적. | 영국의 |
| 모교 | 옥스퍼드 대학교 |
| 로 알려진 | 아첼의 반기초 공리 반사집합 |
| 과학 경력 | |
| 필드 | 수리논리학 |
| 기관 | |
| 논문 | 논리학의 수학적 문제 (1967) |
| 박사과정 지도교수 | 존 뉴섬 크로스리 |
| 웹사이트 | www.cs.man |
피터 헨리 조지 애첼(, 1941년 10월 31일 ~ 2023년 8월 1일)은 [1]영국의 수학자이자 논리학자이다.그는 잘 근거가 없는 집합 이론,[2] 구성 집합 [3][4]이론 및 프레게 [5][6]구조에 대한 연구로 유명합니다.
교육
아첼은 1963년에[7] 수학 학사를 마치고 1966년에 옥스퍼드 대학교에서 존 [1][8]크로슬리의 감독하에 DPhil 학위를 받았습니다.
경력 및 연구
위스콘신 대학교 매디슨 앤 럿거스 대학교에서 2년간 방문한 후, Aczel은 맨체스터 대학교에서 자리를 잡았습니다.또한 오슬로 대학교, 캘리포니아 공과대학교, 위트레흐트 대학교, 스탠포드 대학교 및 인디애나 대학교 블루밍턴에서 [7]방문 근무를 했습니다.그는 2012년 [9]고등연구소의 방문학자였습니다.
Aczel은 이전에 기호 논리학 저널과 순수 및 [7][11]응용 논리학 연보의 편집 위원회에서 근무한 적이 있는 Notre Dame Journal of[10] Formal Logic과 Cambridge Tracts in Theory Computer Science의 편집 위원회에 있었습니다.
레퍼런스
- ^ a b 수학 계보 프로젝트의 피터 아크젤
- ^ Moss, Lawrence S. (February 20, 2018). Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University – via Stanford Encyclopedia of Philosophy.
- ^ Aczel, P. (1977). "An Introduction to Inductive Definitions". Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics. Vol. 90. pp. 739–201. doi:10.1016/S0049-237X(08)71120-0. ISBN 9780444863881.
- ^ Aczel, P.; Mendler, N. (1989). "A final coalgebra theorem". Category Theory and Computer Science. Lecture Notes in Computer Science. Vol. 389. p. 357. doi:10.1007/BFb0018361. ISBN 3-540-51662-X.
- ^ Aczel, P. (1980). "Frege Structures and the Notions of Proposition, Truth and Set". The Kleene Symposium. Studies in Logic and the Foundations of Mathematics. Vol. 101. pp. 31–32. doi:10.1016/S0049-237X(08)71252-7. ISBN 9780444853455.
- ^ DBLP 서지 서버의 Peter Aczel
- ^ a b c "Peter Aczel page the University of Manchester".
- ^ Aczel, Peter (1966). Mathematical problems in logic (DPhil thesis). University of Oxford.(설명 필요)
- ^ "Scholars". Institute for Advanced Study. 14 August 2015.
- ^ Dame, Marketing Communications: Web University of Notre. "Notre Dame Journal of Formal Logic". Notre Dame Journal of Formal Logic.
{{cite web}}CS1 유지보수: 다중 이름: 작성자 목록(링크) - ^ "Annals of Pure and Applied Logic" – via www.journals.elsevier.com.
