Gaisi Takeuti

Gaisi Takeuti

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 is the current president (since 2003) of the Kurt Gödel Society, having worked on the respected book .

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. [Citation | last1=Takeuti | first1=Gaisi | title=On a generalized logic calculus | year=1953 | journal=Japanese Journal of Mathematics | issn=0075-3432 | volume=23 | pages=39–96 An erratum to this article was published in the same journal (24:149–156, 1954).]

He is also known for his work on ordinal diagrams with Akiko Kino.

References

External links

* [http://kgs.logic.at/index.php?id=42 Presidents of the Kurt Gödel Society]
* [http://kurt.scitec.kobe-u.ac.jp/sml03/ Takeuti Symposium (contains relevant birthdate information)]
* [http://books.google.com/books?id=r5zBzjKuaygC&dq Google Books preview of Memoirs of a Proof Theorist: Godel and Other Logicians]
* [http://209.85.165.104/search?q=cache:RnHtKZ_da0oJ:www.math.cas.cz/~lc98/proc.ps Logic Colloqium ’98 Proceedings (contains biography)]


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Takeuti conjecture — Takeuti s conjecture is the conjecture of Gaisi Takeuti that a sequent formalisation of second order logic has cut elimination (Takeuti 1953). It was settled positively: * By Tait, using a semantic technique for proving cut elimination, based on… …   Wikipedia

  • Takeuti — may refer to:*Gaisi Takeuti, a mathematician *Takeuti conjecture, a conjecture by him *Naoko Takeuchi, a manga artist …   Wikipedia

  • Ordinal notation — In mathematical logic and set theory, an ordinal notation is a finite sequence of symbols from a finite alphabet which names an ordinal number according to some scheme which gives meaning to the language. There are many such schemes of ordinal… …   Wikipedia

  • Graduate Texts in Mathematics — (GTM) is a series of graduate level textbooks in mathematics published by Springer Verlag. The books in this series, like the other Springer Verlag mathematics series, are small yellow books of a standard size. This particular series is easily… …   Wikipedia

  • Tuple — This article is about the mathematical concept. For the musical term, see Tuplet. For the achievement in Association Football, see The Sextuple. In mathematics and computer science, a tuple is an ordered list of elements. In set theory, an… …   Wikipedia

  • Zermelo–Fraenkel set theory — Zermelo–Fraenkel set theory, with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC consists of a single primitive ontological notion, that of… …   Wikipedia

  • List of logicians — A logician is a person, such as a philosopher or mathematician, whose topic of scholarly study is logic. The famous logicians are listed below in English alphabetical transliteration order (by surname).compactTOC NOTOC A * Nate Ackerman (USA,… …   Wikipedia

  • Hilbert's program — Hilbert s program, formulated by German mathematician David Hilbert in the 1920s, was to formalize all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent.Hilbert proposed that the… …   Wikipedia

  • List of set theory topics — Logic portal Set theory portal …   Wikipedia

  • Second-order arithmetic — In mathematical logic, second order arithmetic is a collection of axiomatic systems that formalize the natural numbers and sets thereof. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics. The… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”