226305 materialEducativo

textoFiltroFicha

Gaisi Takeuti

tipo de documento Wikipedia-Artikel

  • Gefällt mir 0
  • Besuche/Aufrufe 24
  • Kommentare 0
  • Speichert in
  • Aktionen

Über diese Ressource...

Gaisi Takeuti
Artículo WikipediaFuente Dbpedia
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.
Fecha de nacimiento 1926-01-01
Año de nacimiento 1926
Numero individualizado de la Biblioteca Nacional Alemana 107888580

Konzeptionelle Karte: Gaisi Takeuti

Exklusive Inhalte für Mitglieder von

D/i/d/a/c/t/a/l/i/a
Anmelden

Mira un ejemplo de lo que te pierdes

Kategorien:

Fecha publicación: 6.9.2014

Kommentieren

0

Möchtest du einen Kommentar abgeben? Registriere dich oder inicia sesión

Mach mit bei Didactalia

Browse among 226305 resources and 560655 people

Regístrate >

O conéctate a través de:

Si ya eres usuario, Inicia sesión

Möchten Sie auf weitere Bildungsinhalte zugreifen?

Einloggen Tritt einer Klasse bei
x

Add to Didactalia Arrastra el botón a la barra de marcadores del navegador y comparte tus contenidos preferidos. Más info...

Spielhilfe
Juegos de anatomía
Selecciona nivel educativo