Posts Tagged 'fundamentos de la matemática'

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)’

Anuncios

Helena Rasiowa (1917-1994)

mama2La matemática Helena Rasiowa (1917-1994) falleció un 9 de agosto.

Trabajó en fundamentos de la matemática y en lógica.

Defendió su tesis doctoral en 1950, bajo la dirección de Andrzej Mostowski: Algebraic Treatment of the Functional Calculi of Lewis and Heyting.

Además de dedicarse a la matemática pura, colaboró con instituciones y sociedades como la Polskie Towarzystwo MatematyczneSociedad Matemática de Polonia– o la Polska Akademia Nauk Academia de las Ciencias de Polonia–, entre otras.

Seguir leyendo ‘Helena Rasiowa (1917-1994)’


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

octubre 2019
L M X J V S D
« Sep    
 123456
78910111213
14151617181920
21222324252627
28293031  

Artxiboak | Archivo

Estatistika | Estadística

  • 4.766.622 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
Anuncios