Posts Tagged 'Alonzo Church'

Raymond Smullyan, divulgando las matemáticas a través del juego, la magia y el humor

SmullyanEl matemático, lógico, filósofo, mago y humorista Raymond Smullyan (1919-2017) nació un 25 de mayo.

De formación prácticamente autodidacta, defendió su tesis doctoral Theory of Formal Systems en 1959 bajo la dirección de Alonzo Church.

Ha publicado varios libros sobre matemáticas recreativas y juegos lógicos, sobre el juego del ajedrez, además de otros ensayos académicos.

Os dejo una muestra gráfica de la mayoría de sus libros publicados en castellano:

Seguir leyendo ‘Raymond Smullyan, divulgando las matemáticas a través del juego, la magia y el humor’

… habría demostrado el teorema de Gödel en 1921… si hubiera sido Gödel

Emil_Leon_PostEl matemático Emil Leon Post (1897-1954) falleció un 21 de abril.

Creó el sistema formal llamado máquina de Post, equivalente a la máquina de Turing.

Sus trabajos más importantes fueron en lógica fundamental —grupos poliádicos, conjuntos recursivamente enumerables, resolubilidad de problemas combinatorios, etc.—.

En los años 1920, probó resultados similares a los que hicieron famosos a Kurt Gödel, Alonzo Church o Alan Turing, pero no los publicó.

Seguir leyendo ‘… habría demostrado el teorema de Gödel en 1921… si hubiera sido Gödel’


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

agosto 2022
L M X J V S D
1234567
891011121314
15161718192021
22232425262728
293031  

Artxiboak | Archivo

Estatistika | Estadística

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