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.

Property Value
dbo: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. (en)
  • Takeuti Gaisi (jap. 竹内 外史, Takeuchi Gaishi; * 25. Januar 1926 in Kizu, Präfektur Ishikawa, Japan) ist ein japanischer mathematischer Logiker, bekannt für Beiträge zur Beweistheorie. Takeuti wurde 1956 an der Universität Tokio in mathematischer Logik promoviert. Er war ab 1950 zuerst Assistenzprofessor, später Professor an der Pädagogischen Universität Tokio und ab 1966 Professor an der University of Illinois at Urbana-Champaign. 1996 wurde er emeritiert. Takeutis Ziel in den 1950er Jahren war es, Widerspruchsfreiheitsbeweise für formale Systeme zu gewinnen, die die Analysis umfassen. Hierzu entwickelte er Methoden von Gerhard Gentzen weiter (unter anderem führte er ordinal diagrams ein). Takeuti gelang 1967 der Widerspruchsfreiheitsbeweis der Analysis (der Teil der Analysis, in der die Komprehension auf beliebige Formeln mit höchstens einem Mengenquantor eingeschränkt ist). Das war nach Kurt Schütte der erste Widerspruchsfreiheitsbeweis eines wesentlich imprädikativen Teils der Mathematik und Analysis. Takeutis Vermutung von 1953 besagt, dass im Logikkalkül endlicher Stufe (im Rahmen des Sequenzenkalküls der Beweistheorie) die Schnittregel gilt (siehe Gentzenscher Hauptsatz). Sie wurde für das Kalkül 2. Stufe von William W. Tait (1966) bewiesen und unabhängig von Takahashi Motoo (1967) und Jean-Yves Girard bewiesen. Von Takeuti stammen zwei Lehrbücher und Standardwerke, eines zur Beweistheorie und eines zur axiomatischen Mengenlehre. 1959/60, 1966 bis 1968 und 1971 bis 1972 war er am Institute for Advanced Study bei Kurt Gödel. 2003 bis 2009 war er Präsident der Kurt Gödel Society. 1998 erhielt er die tschechische Bolzano-Medaille und er erhielt den Okawa Preis für Veröffentlichungen. 1982 erhielt er den Asahi-Preis. (de)
  • 竹内 外史(たけうち がいし、1926年1月25日 - )は、日本の数学者、論理学者。専門は数学基礎論(数理論理学、公理的集合論、証明論など)。石川県出身。イリノイ大学名誉教授。解析学の基礎付けなど、数学基礎論の研究で世界的に知られる。昭和57(1982)年朝日賞(昭和56年度)受賞。主な著作に「集合とはなにか」「現代集合論入門」「証明論と計算量」「層・圏・トポス」など。1966年以来、長くイリノイ大学で教鞭を執っていた。その間、実数論の無矛盾性の証明を試みる。 (ja)
  • Gaisi Takeuti (竹内 外史, Takeuchi Gaishi?, 25 de janeiro de 1926) é um matemático japonês É conhecido por seu trabalho sobre teoria da prova. Após a graduação na Universidade de Tóquio foi para a Universidade de Princeton, onde foi aluno de Kurt Gödel. Tornou-se depois professor da Universidade de Illinois em Urbana-Champaign. Takeuti é o atual presidente (desde 2003) da Sociedade Kurt Gödel Society, coautor do livro Memoirs of a Proof Theorist: Godel and Other Logicians. Sua meta de pesquisas foi provar a consistência dos números reais. Com este propósito, a conjectura de Takeuti especula que uma formalização sequente de lógica de segunda ordem tem eliminação de corte. (pt)
dbo:birthDate
  • 1926-1-25
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2593847 (xsd:integer)
dbo:wikiPageRevisionID
  • 705734984 (xsd:integer)
dbp:date
  • 20060926190817 (xsd:double)
dbp:title
  • Logic Colloqium ’98 Proceedings
dbp:url
dct:description
  • Japanese mathematician (en)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs: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. 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. (en)
  • 竹内 外史(たけうち がいし、1926年1月25日 - )は、日本の数学者、論理学者。専門は数学基礎論(数理論理学、公理的集合論、証明論など)。石川県出身。イリノイ大学名誉教授。解析学の基礎付けなど、数学基礎論の研究で世界的に知られる。昭和57(1982)年朝日賞(昭和56年度)受賞。主な著作に「集合とはなにか」「現代集合論入門」「証明論と計算量」「層・圏・トポス」など。1966年以来、長くイリノイ大学で教鞭を執っていた。その間、実数論の無矛盾性の証明を試みる。 (ja)
  • Takeuti Gaisi (jap. 竹内 外史, Takeuchi Gaishi; * 25. Januar 1926 in Kizu, Präfektur Ishikawa, Japan) ist ein japanischer mathematischer Logiker, bekannt für Beiträge zur Beweistheorie. Takeuti wurde 1956 an der Universität Tokio in mathematischer Logik promoviert. Er war ab 1950 zuerst Assistenzprofessor, später Professor an der Pädagogischen Universität Tokio und ab 1966 Professor an der University of Illinois at Urbana-Champaign. 1996 wurde er emeritiert. Takeuti gelang 1967 der Widerspruchsfreiheitsbeweis der (de)
  • Gaisi Takeuti (竹内 外史, Takeuchi Gaishi?, 25 de janeiro de 1926) é um matemático japonês É conhecido por seu trabalho sobre teoria da prova. Após a graduação na Universidade de Tóquio foi para a Universidade de Princeton, onde foi aluno de Kurt Gödel. Tornou-se depois professor da Universidade de Illinois em Urbana-Champaign. Takeuti é o atual presidente (desde 2003) da Sociedade Kurt Gödel Society, coautor do livro Memoirs of a Proof Theorist: Godel and Other Logicians. (pt)
rdfs:label
  • Gaisi Takeuti (en)
  • Takeuti Gaisi (de)
  • 竹内外史 (ja)
  • Gaisi Takeuti (pt)
owl:sameAs
prov:wasDerivedFrom
foaf:gender
  • male (en)
foaf:isPrimaryTopicOf
foaf:name
  • Gaisi Takeuti (en)
foaf:surname
  • Takeuchi (en)
is dbo:doctoralStudent of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of