가이시타케우티
Gaisi Takeuti가이시타케우티 | |
|---|---|
竹内 外史 | |
| 태어난 | 1926년 1월 25일 |
| 죽은 | 2017년 5월 10일 (91) |
| 국적 | 일본인입니다 |
| 교육 | 도쿄 대학 |
| 모교 | 프린스턴 |
| 로 알려져 있다. | 증명 이론 작업 |
| 과학 경력 | |
| 필드 | 수학 |
| 기관 | 일리노이 대학교 어바나 샴페인 |
게이시 다케우티(竹内 外史, 다케우치, 가이시, 1926년 1월 25일[1] ~ 2017년 5월 10일)는 일본의 수학자로, 증명 이론에 관한 연구로 알려져 있다.[2]
도쿄 대학을 졸업한 후, 그는 커트 괴델 밑에서 공부하기 위해 프린스턴으로 갔다. 그는 후에 일리노이 대학교 어바나 샴페인의 교수가 되었다. 타케우티는 쿠르트 괴델 협회의 회장(2003~2009년)으로, '증거 이론가의 회고록: 고델과 기타 로지컬. 그의 목표는 실수의 일관성을 증명하는 것이었다. 이를 위해 타케우티의 추측에 의하면 2차 논리학의 순차적 공식화가 절충을 초래했다고 추측하고 있다.[3] 그는 또한 키노 아키코와 함께 서수 도표 작업을 한 것으로도 유명하다.
출판물
- Takeuti, Gaisi (1953). "On a generalized logic calculus". Japanese Journal of Mathematics. 23: 39–96. doi:10.4099/jjm1924.23.0_39. ISSN 0075-3432.
- Takeuti, Gaisi (1954). "Errata to 'On a Generalized Logic Calculus'". Japanese Journal of Mathematics. 24: 149–156. doi:10.4099/jjm1924.24.0_149. ISSN 0075-3432.
- Takeuti, Gaisi; Zaring, Wilson M. (2011) [1982], Introduction to axiomatic set theory, Graduate Texts in Mathematics, 1 (2nd ed.), New York-Berlin: Springer-Verlag, doi:10.1007/978-1-4613-8168-6, ISBN 978-1-4613-8170-9, MR 0349390
- Takeuti, Gaisi; Zaring, Wilson M. (1973), Axiomatic set theory, Graduate Texts in Mathematics, 8, New York-Berlin: Springer-Verlag, doi:10.1007/978-1-4684-8751-0, ISBN 978-0-387-90050-6, MR 0416914 2013년 도버 재인쇄
- Takeuti, Gaisi (2013) [1975]. Proof theory (Second ed.). Mineola, New York: Dover Publications. ISBN 978-0-486-49073-1.
- Takeuti, Gaisi (2015) [1978], Two applications of logic to mathematics, Publications of the Mathematical Society of Japan, 13, Princeton, N.J.: Princeton University Press, ISBN 978-0-69-161022-1, MR 0505474
- Takeuti, Gaisi (2003) [1998], Memoirs of a proof theorist. Gödel and other logicians, River Edge, NJ: World Scientific Publishing Co., Inc., ISBN 978-981-238-279-5, MR 1984952
메모들
- ^ Sam Buss (2017-05-10). "[Proof Complexity] Gaisi Takeuti". Proof-Complexity mailing list. Retrieved 2019-01-13.
- ^ 타케우티 2013.
- ^ 타케우티 1953년 이 기사에 대한 에라타타는 (타케우티 1954년)과 같은 저널에 게재되었다.
외부 링크
- 쿠르트 괴델 소사이어티의 대통령들
- 타케우티 심포지엄(생년월일 관련 정보 포함)
- Logic Colorqium 98 Procedures (전기 포함) Wayback Machine(2006년 9월 26일 보관)
- 수학 계보 프로젝트 가이시 다케우티
