Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Gaisi_Takeuti> ?p ?o }
Showing triples 1 to 94 of
94
with 100 triples 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 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 wikiPageLength "2705".
- Gaisi_Takeuti wikiPageOutDegree "22".
- Gaisi_Takeuti wikiPageRevisionID "660378726".
- Gaisi_Takeuti wikiPageWikiLink Category:1926_births.
- Gaisi_Takeuti wikiPageWikiLink Category:Japanese_logicians.
- Gaisi_Takeuti wikiPageWikiLink Category:Japanese_philosophers.
- Gaisi_Takeuti wikiPageWikiLink Category:Living_people.
- Gaisi_Takeuti wikiPageWikiLink Category:Proof_theorists.
- Gaisi_Takeuti wikiPageWikiLink Category:University_of_Illinois_at_Urbana–Champaign_faculty.
- Gaisi_Takeuti wikiPageWikiLink Category:University_of_Tokyo_alumni.
- Gaisi_Takeuti wikiPageWikiLink Cut-elimination_theorem.
- Gaisi_Takeuti wikiPageWikiLink Japan.
- Gaisi_Takeuti wikiPageWikiLink Japanese_Journal_of_Mathematics.
- Gaisi_Takeuti wikiPageWikiLink Kurt_Gödel.
- Gaisi_Takeuti wikiPageWikiLink Kurt_Gödel_Society.
- Gaisi_Takeuti wikiPageWikiLink Mathematician.
- Gaisi_Takeuti wikiPageWikiLink Memoirs_of_a_Proof_Theorist:_Godel_and_Other_Logicians.
- Gaisi_Takeuti wikiPageWikiLink Ordinal_notation.
- Gaisi_Takeuti wikiPageWikiLink Princeton_University.
- Gaisi_Takeuti wikiPageWikiLink Proof_theory.
- Gaisi_Takeuti wikiPageWikiLink Second-order_logic.
- Gaisi_Takeuti wikiPageWikiLink Sequent_calculus.
- Gaisi_Takeuti wikiPageWikiLink Takeuti_conjecture.
- Gaisi_Takeuti wikiPageWikiLink Takeutis_conjecture.
- Gaisi_Takeuti wikiPageWikiLink Tokyo_University.
- Gaisi_Takeuti wikiPageWikiLink University_of_Illinois_at_Urbana-Champaign.
- Gaisi_Takeuti wikiPageWikiLink University_of_Illinois_at_Urbana–Champaign.
- Gaisi_Takeuti wikiPageWikiLink University_of_Tokyo.
- Gaisi_Takeuti wikiPageWikiLinkText "Gaisi Takeuti".
- Gaisi_Takeuti wikiPageWikiLinkText "Takeuti, Gaisi".
- Gaisi_Takeuti date "20060926190817".
- Gaisi_Takeuti dateOfBirth "1926".
- Gaisi_Takeuti hasPhotoCollection Gaisi_Takeuti.
- Gaisi_Takeuti name "Takeuti Gaisi".
- Gaisi_Takeuti shortDescription "Japanese mathematician".
- Gaisi_Takeuti title "Logic Colloqium ’98 Proceedings".
- Gaisi_Takeuti url proc.ps.
- Gaisi_Takeuti wikiPageUsesTemplate Template:Asia-mathematician-stub.
- Gaisi_Takeuti wikiPageUsesTemplate Template:Authority_control.
- Gaisi_Takeuti wikiPageUsesTemplate Template:Cite_book.
- Gaisi_Takeuti wikiPageUsesTemplate Template:Cite_journal.
- Gaisi_Takeuti wikiPageUsesTemplate Template:Japan-scientist-stub.
- Gaisi_Takeuti wikiPageUsesTemplate Template:Mathgenealogy.
- Gaisi_Takeuti wikiPageUsesTemplate Template:Nihongo.
- Gaisi_Takeuti wikiPageUsesTemplate Template:Persondata.
- Gaisi_Takeuti wikiPageUsesTemplate Template:Portal.
- Gaisi_Takeuti wikiPageUsesTemplate Template:Wayback.
- 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 subject Category:University_of_Illinois_at_Urbana–Champaign_faculty.
- Gaisi_Takeuti subject Category:University_of_Tokyo_alumni.
- Gaisi_Takeuti hypernym Mathematician.
- Gaisi_Takeuti type Agent.
- Gaisi_Takeuti type Article.
- Gaisi_Takeuti type List.
- Gaisi_Takeuti type Person.
- Gaisi_Takeuti type Philosopher.
- Gaisi_Takeuti type Scientist.
- Gaisi_Takeuti type Article.
- Gaisi_Takeuti type List.
- Gaisi_Takeuti type Mathematician.
- Gaisi_Takeuti type Philosopher.
- Gaisi_Takeuti type Scientist.
- Gaisi_Takeuti type Person.
- Gaisi_Takeuti type Agent.
- Gaisi_Takeuti type NaturalPerson.
- Gaisi_Takeuti type Thing.
- Gaisi_Takeuti type Q215627.
- Gaisi_Takeuti type Q5.
- 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 sameAs 竹内外史.
- Gaisi_Takeuti sameAs 다케우치_가이시.
- Gaisi_Takeuti sameAs Gaisi_Takeuti.
- Gaisi_Takeuti sameAs m.07qdzg.
- Gaisi_Takeuti sameAs Q873653.
- Gaisi_Takeuti sameAs Q873653.
- Gaisi_Takeuti wasDerivedFrom Gaisi_Takeuti?oldid=660378726.
- Gaisi_Takeuti isPrimaryTopicOf Gaisi_Takeuti.
- Gaisi_Takeuti name "Takeuti Gaisi".