Posts Tagged 'lógica clásica'

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

septiembre 2021
L M X J V S D
 12345
6789101112
13141516171819
20212223242526
27282930  

Artxiboak | Archivo

Estatistika | Estadística

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