Posts Tagged 'axiomas de Peano'

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

Giuseppe Peano y el lenguaje natural

220px-Giuseppe_PeanoEl matemático, lógico y filósofo Giuseppe Peano (1858-1932) nació un 27 de agosto.

Según Peano, los problemas planteados por los fundamentos de las matemáticas se debían, en gran medida, a las ambigüedades del lenguaje natural. Precisamente este interés por el lenguaje le llevó a crear el Latino sine flexione, una lengua auxiliar basada en el latín.

Peano creó un lenguaje simbólico que utilizó en su Formulaire de Mathématiques disponible en el repositorio Gallica en el que analiza con rigorla aritmética, la geometría, el cálculo infinitesimal y el vectorial y la teoría de conjuntos.

Seguir leyendo ‘Giuseppe Peano y el lenguaje natural’

Reuben Louis Goodstein (1912-1985)

GoodsteinEl matemático y lógico británico Reuben Louis Goodstein nació el 15 de diciembre de 1912 (falleció el 8 de marzo de 1985).

Es sobre todo conocido por el llamado teorema de Goodstein [On the restricted ordinal theorem, Journal of Symbolic Logic 9: 33–41, 1944]enunciado de lógica matemática, con importantes aplicaciones en informática teórica, aunque también estaba interesado en la filosofía y en la enseñanza de las matemáticas.

Fue editor de la Mathematical Gazette de 1956 a 1962 y conferenciante invitado en el International Congress of Mathematicians (ICM) celebrado en Estocolmo en 1962.

Seguir leyendo ‘Reuben Louis Goodstein (1912-1985)’


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

abril 2021
L M X J V S D
 1234
567891011
12131415161718
19202122232425
2627282930  

Artxiboak | Archivo

Estatistika | Estadística

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