Gerhard Gentzen (1909-1945)

Gerhard_GentzenEl matemático y lógico Gerhard Gentzen (1909-1945) nació un 24 de noviembre.

Fue estudiante de Hermann Weyl en la Universidad de Göttingen entre 1929 y 1933.

Sus principales trabajos giraron en torno a los fundamentos de la matemática y la teoría de la demostración.

En 1934  introdujo la noción de sistema de deducción natural para la lógica clásica y la lógica intuicionista.

En 1936 demostró la consistencia de los axiomas de Peano.

Más información:

Esta entrada participa en la Edición 5.8: Betty Scott del Carnaval de Matemáticas cuyo anfitrión es el blog Tocamates

1 Response to “Gerhard Gentzen (1909-1945)”


  1. 1 Marta MS 24/11/2015 de 09:49

    Reblogueó esto en Martams's Blogy comentado:

    El matemático y lógico Gerhard Gentzen (1909-1945) cumpliría hoy 106 años

    Me gusta


Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión /  Cambiar )

Google photo

Estás comentando usando tu cuenta de Google. Cerrar sesión /  Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión /  Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión /  Cambiar )

Conectando a %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.




UPV/EHU
ZTF-FCT

Q2006 A2016

facebook facebook

Premio a la Mejor Entrada de marzo del Carnaval de Física 2014: El lago elgygytgyn (por Marta Macho)
Premio Mejor Post en la VII Edición del Carnaval de Humanidades..Gracias a Marta Macho
Premio a la Mejor Entrada de la Edición 4.1231 del Carnaval de Matemáticas.

Egutegia | Calendario

noviembre 2014
L M X J V S D
« Oct   Dic »
 12
3456789
10111213141516
17181920212223
24252627282930

Artxiboak | Archivo

Estatistika | Estadística

  • 4.510.774 sarrerak | visitas

RSS Noticias UPV/EHU

  • Se ha producido un error; es probable que la fuente esté fuera de servicio. Vuelve a intentarlo más tarde.

RSS UPV/EHU Albisteak

  • Se ha producido un error; es probable que la fuente esté fuera de servicio. Vuelve a intentarlo más tarde.

RSS Eventos UPV/EHU

  • Se ha producido un error; es probable que la fuente esté fuera de servicio. Vuelve a intentarlo más tarde.

RSS UPV/EHU Ekitaldiak

  • Se ha producido un error; es probable que la fuente esté fuera de servicio. Vuelve a intentarlo más tarde.
Follow on WordPress.com

A %d blogueros les gusta esto: