Gaisi Takeuti - Gaisi Takeuti

Gaisi Takeuti
竹 内 外史
narozený(1926-01-25)25. ledna 1926
Zemřel10. května 2017(2017-05-10) (ve věku 91)
Národnostjaponský
VzděláníTokijská univerzita
Alma materPrinceton
Známý jakoPráce v teorii důkazů
Vědecká kariéra
PoleMatematika
InstituceUniversity of Illinois v Urbana-Champaign

Gaisi Takeuti (竹 内 外史, Takeuchi, Gaishi, 25. ledna 1926 - 10. května 2017[1]) byl japonský matematik, známý svou prací v teorie důkazů.[2]

Po absolvování Tokijská univerzita, šel do Princeton studovat pod Kurt Gödel. Později se stal profesorem na University of Illinois v Urbana-Champaign. Takeuti byl prezidentem (2003–2009) Společnost Kurta Gödela poté, co pracoval na knize Monografie důkazního teoretika: Godel a další logici. Jeho cílem bylo dokázat soulad reálných čísel. Za tímto účelem Takeutiho domněnka spekuluje, že a následující formalizace logika druhého řádu má eliminace řezu.[3] On je také známý pro jeho práci na pořadové diagramy s Akiko Kino.

Publikace

  • Takeuti, Gaisi (1953). „Na zobecněném logickém počtu“. Japonský žurnál matematiky. 23: 39–96. doi:10,4099 / jjm1924.23.0_39. ISSN  0075-3432.CS1 maint: ref = harv (odkaz)
  • Takeuti, Gaisi (1954). „Errata na‚ Zobecněný logický kalkul'". Japonský žurnál matematiky. 24: 149–156. doi:10,4099 / jjm1924.24.0_149. ISSN  0075-3432.CS1 maint: ref = harv (odkaz)
  • Takeuti, Gaisi; Zaring, Wilson M. (2011) [1982], Úvod do teorie axiomatických množin, Postgraduální texty z matematiky, 1 (2. vyd.), New York-Berlín: Springer-Verlag, doi:10.1007/978-1-4613-8168-6, ISBN  978-1-4613-8170-9, PAN  0349390
  • Takeuti, Gaisi; Zaring, Wilson M. (1973), Axiomatická teorie množin, Postgraduální texty z matematiky, 8, New York-Berlín: Springer-Verlag, doi:10.1007/978-1-4684-8751-0, ISBN  978-0-387-90050-6, PAN  0416914
  • Takeuti, Gaisi (2013) [1975]. Teorie důkazů (Druhé vydání.). Mineola, New York: Dover Publications. ISBN  978-0-486-49073-1.CS1 maint: ref = harv (odkaz)
  • Takeuti, Gaisi (2015) [1978], Dvě aplikace logiky v matematicePublikace Matematické společnosti v Japonsku, 13, Princeton, N.J .: Princeton University Press, ISBN  978-0-69-161022-1, PAN  0505474
  • Takeuti, Gaisi (2003) [1998], Paměti teoretika důkazů. Gödel a další logiciRiver Edge, NJ: World Scientific Publishing Co., Inc., ISBN  978-981-238-279-5, PAN  1984952

Poznámky

  1. ^ Sam Buss (10.05.2017). „[Složitost důkazu] Gaisi Takeuti“. Seznam adresátů s prokázanou složitostí. Citováno 2019-01-13.
  2. ^ Takeuti 2013.
  3. ^ Takeuti 1953. Oprava tohoto článku byla zveřejněna ve stejném časopise jako (Takeuti 1954 ).

externí odkazy