Gaisi Takeuti

URI: https://gptkb.org/entity/Gaisi_Takeuti
GPTKB entity
Statements (24)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Tokyo
gptkbp:awardReceived gptkb:Japan_Academy_Prize
gptkb:Asahi_Prize
gptkbp:birthDate 1926-02-25
gptkbp:deathDate 2017-05-10
gptkbp:doctoralAdvisor gptkb:Shokichi_Iyanaga
gptkbp:field gptkb:logic
proof theory
https://www.w3.org/2000/01/rdf-schema#label Gaisi Takeuti
gptkbp:knownFor gptkb:Takeuti's_conjecture
work on proof theory
gptkbp:language English
Japanese
gptkbp:memberOf gptkb:American_Mathematical_Society
gptkb:Japan_Academy
gptkbp:nationality Japanese
gptkbp:notableStudent gptkb:Masaru_Tomita
gptkbp:occupation gptkb:mathematician
gptkbp:workInstitution gptkb:University_of_Illinois_at_Urbana–Champaign
gptkb:Tokyo_Institute_of_Technology
gptkbp:bfsParent gptkb:Proof_Theory:_A_Personal_Report
gptkb:Gerhard_Gentzen
gptkbp:bfsLayer 6