Archivo para 24/11/14

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.

Seguir leyendo ‘Gerhard Gentzen (1909-1945)’


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
 12
3456789
10111213141516
17181920212223
24252627282930

Artxiboak | Archivo

Estatistika | Estadística

  • 5.389.140 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