Gaisi Takeuti

URI: https://gptkb.org/entity/Gaisi_Takeuti

GPTKB entity

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
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
gptkbp:bfsLayer	6
http://www.w3.org/2000/01/rdf-schema#label	Gaisi Takeuti