Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Gaisi_Takeuti> ?p ?o. }
Showing items 1 to 65 of
65
with 100 items per page.
- Gaisi_Takeuti abstract "Gaisi Takeuti (竹内 外史, Takeuchi Gaishi, born January 25, 1926) is a Japanese mathematician, known for his work in proof theory.After graduating from Tokyo University, he went to Princeton to study under Kurt Gödel. He later became a professor at the University of Illinois at Urbana-Champaign. Takeuti was president (2003-2009) of the Kurt Gödel Society, having worked on the respected book Memoirs of a Proof Theorist: Godel and Other Logicians. His goal was to prove the consistency of the real numbers. To this end, Takeuti's conjecture speculates that a sequent formalisation of second-order logic has cut-elimination. He is also known for his work on ordinal diagrams with Akiko Kino.".
- Gaisi_Takeuti birthDate "1926".
- Gaisi_Takeuti birthYear "1926".
- Gaisi_Takeuti individualisedGnd "107888580".
- Gaisi_Takeuti lccnId "n/50/8917".
- Gaisi_Takeuti viafId "64133112".
- Gaisi_Takeuti wikiPageExternalLink books?id=r5zBzjKuaygC&dq.
- Gaisi_Takeuti wikiPageExternalLink index.php?id=42.
- Gaisi_Takeuti wikiPageExternalLink sml03.
- Gaisi_Takeuti wikiPageExternalLink proc.ps.
- Gaisi_Takeuti wikiPageID "2593847".
- Gaisi_Takeuti wikiPageRevisionID "579072839".
- Gaisi_Takeuti dateOfBirth "1926".
- Gaisi_Takeuti gnd "107888580".
- Gaisi_Takeuti hasPhotoCollection Gaisi_Takeuti.
- Gaisi_Takeuti lccn "n/50/8917".
- Gaisi_Takeuti name "Takeuti Gaisi".
- Gaisi_Takeuti shortDescription "Japanese mathematician".
- Gaisi_Takeuti viaf "64133112".
- Gaisi_Takeuti description "Japanese mathematician".
- Gaisi_Takeuti description "Japanese mathematician".
- Gaisi_Takeuti subject Category:1926_births.
- Gaisi_Takeuti subject Category:Japanese_logicians.
- Gaisi_Takeuti subject Category:Japanese_philosophers.
- Gaisi_Takeuti subject Category:Living_people.
- Gaisi_Takeuti subject Category:Proof_theorists.
- Gaisi_Takeuti type CausalAgent100007347.
- Gaisi_Takeuti type Expert109617867.
- Gaisi_Takeuti type Intellectual109621545.
- Gaisi_Takeuti type JapaneseLogicians.
- Gaisi_Takeuti type LivingPeople.
- Gaisi_Takeuti type LivingThing100004258.
- Gaisi_Takeuti type Logician110269785.
- Gaisi_Takeuti type Object100002684.
- Gaisi_Takeuti type Organism100004475.
- Gaisi_Takeuti type Person100007846.
- Gaisi_Takeuti type PhysicalEntity100001930.
- Gaisi_Takeuti type ProofTheorists.
- Gaisi_Takeuti type Theorist110706812.
- Gaisi_Takeuti type Whole100003553.
- Gaisi_Takeuti type YagoLegalActor.
- Gaisi_Takeuti type YagoLegalActorGeo.
- Gaisi_Takeuti type Agent.
- Gaisi_Takeuti type Person.
- Gaisi_Takeuti type Person.
- Gaisi_Takeuti type Q215627.
- Gaisi_Takeuti type Q5.
- Gaisi_Takeuti type Agent.
- Gaisi_Takeuti type NaturalPerson.
- Gaisi_Takeuti type Thing.
- Gaisi_Takeuti type Person.
- Gaisi_Takeuti comment "Gaisi Takeuti (竹内 外史, Takeuchi Gaishi, born January 25, 1926) is a Japanese mathematician, known for his work in proof theory.After graduating from Tokyo University, he went to Princeton to study under Kurt Gödel. He later became a professor at the University of Illinois at Urbana-Champaign. Takeuti was president (2003-2009) of the Kurt Gödel Society, having worked on the respected book Memoirs of a Proof Theorist: Godel and Other Logicians.".
- Gaisi_Takeuti label "Gaisi Takeuti".
- Gaisi_Takeuti label "Gaisi Takeuti".
- Gaisi_Takeuti label "竹内外史".
- Gaisi_Takeuti sameAs 竹内外史.
- Gaisi_Takeuti sameAs 다케우치_가이시.
- Gaisi_Takeuti sameAs Gaisi_Takeuti.
- Gaisi_Takeuti sameAs m.07qdzg.
- Gaisi_Takeuti sameAs Q873653.
- Gaisi_Takeuti sameAs Q873653.
- Gaisi_Takeuti sameAs Gaisi_Takeuti.
- Gaisi_Takeuti wasDerivedFrom Gaisi_Takeuti?oldid=579072839.
- Gaisi_Takeuti isPrimaryTopicOf Gaisi_Takeuti.
- Gaisi_Takeuti name "Takeuti Gaisi".