Posts Tagged 'máquina de Turing'

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

Una máquina de Turing real

Un equipo de estudiantes de máster del Departamento de Informática de la École Normale Supérieure de Lyon (Francia)  ha construido una máquina de Turing de manera completamente mecánica.

Y lo han hecho usando únicamente elementos del juego de construcción LEGO™.

Seguir leyendo ‘Una máquina de Turing real’

Turing at 100

La revista Nature dedica en su último número un suplemento especial al matemático Alan Turing en el centenario de su nacimiento.

Nature (Image credit: Andy Potts;Turing family)

Alan Turing nació el 23 de junio de 1912, y murió trágica y prematuramente en 1954. Su legado científico abarca diferentes áreas científicas…

Seguir leyendo ‘Turing at 100’

¿Una prueba de que P≠NP?

El ingeniero y matemático Vinay Deolalikar ha anunciado que ha demostrado que P ≠ NP.

Seguir leyendo ‘¿Una prueba de que P≠NP?’


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

diciembre 2021
L M X J V S D
 12345
6789101112
13141516171819
20212223242526
2728293031  

Artxiboak | Archivo

Estatistika | Estadística

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