스티브 어워디

Steve Awodey
스티브 어워디
StevenAwodey.jpg
2011년 우와디
태어난
스티븐 M. 아워디

(1959-07-05) 1959년 7월 5일 (62)
미시간 주
모교마르부르크 대학교
시카고의 대학교
로 알려져 있다.범주이론의[1] 방법을 이용한 고차 논리학의 모델 이론
고차원 범주의[2] 유형 이론
과학 경력
필드범주론, 호모토피형 이론
기관카네기 멜론 대학교
논문Topoi의 논리: 고차논리의 역학적 의미론 (1997)
박사학위 자문위원선더스 맥 레인
기타학술고문윌리엄 워커 타이트
웹사이트www.andrew.cmu.edu/user/awodey/

스티븐 M. 아워디[1](/ˈaʊdi/;; 1959년 출생)는 미국의 수학자 겸 논리학자다. 그는 카네기 멜론 대학의 철학과 수학 교수다.

전기

아워디는 마르부르크 대학교와 시카고 대학교에서 수학과 철학을 공부했다. 그는 1997년에 Sunders Mac Lane 밑에서 시카고에서 박사학위를 받았다. 범주 이론과 논리학 분야의 활발한 연구자로 수학 철학에 대해서도 저술했다. 그는 호모토피형 이론 분야의 창시자 중 한 사람이다.[3] 그는 2012-13년 고등교육원 수학학교의 일원이었다.[4]

참고 문헌 목록

  • Gottfried Gabriel, ed. of the original German text, with introduction and annotations (2004). Eric H. Reck; Steve Awodey (eds.). Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914. Translated by Eric H. Reck; Steve Awodey. Chicago: Open Court; xiv+170 p.{{cite book}}: CS1 maint : 포스트스크립트(링크) CS1 maint : 작성자 매개변수(링크) 사용
  • Awodey, Steve (2010) [2006]. Category Theory (2nd ed.). Oxford & New York: Oxford University Press. ISBN 978-0-19-9237-18-0.

참조

  1. ^ a b 스티븐 M. Awodey, Logic in Topoi – PhilPaper
  2. ^ 스티브 어워디, 마이클 워렌, "신분 유형의 호모토피 이론 모델", 케임브리지 철학회의 수학 프로시저 146(1), 2009. arXiv:0709.0248
  3. ^ PSSL86 참가자의 예비 명단
  4. ^ 고등연구기관: 학자의 공동체

외부 링크