Su numeri computabili
tempo: lun nov 30, 1936
Luogo: Inghilterra
dettagli: Turing pubblicò il suo articolo "Su numeri computabili, con un'applicazione all'Entscheidungsproblem". Fu pubblicato nei Proceedings of the London Mathematical Society in due parti, la prima il 30 novembre e la seconda il 23 dicembre. In questo articolo, Turing riformulò i risultati del 1931 di Kurt Gödel sui limiti della prova e del calcolo, sostituendo il linguaggio formale basato sull'aritmetica universale di Gödel con i dispositivi ipotetici formali e semplici che divennero noti come macchine di Turing. L'Entscheidungsproblem (problema della decisione) era stato originariamente posto dal matematico tedesco David Hilbert nel 1928. Turing dimostrò che la sua "macchina di calcolo universale" sarebbe stata in grado di eseguire qualsiasi calcolo matematico concepibile se fosse stato rappresentabile come un algoritmo. Proseguì dimostrando che non esisteva una soluzione al problema della decisione, mostrando innanzitutto che il problema della terminazione per le macchine di Turing è indecidibile: non è possibile decidere algoritmicamente se una macchina di Turing si fermerà mai.
Potrebbe contenere errori.
Ordinamento approssimativo. Alcuni eventi potrebbero apparire fuori ordine poiché molti sono noti solo per l'anno, ma solitamente appartengono allo stesso periodo.
Correlato
Vicino
























































































































































































Oggi - 30 November





















































30 November 1936


November 1936
















1936







































































































































































































