1936 în informatică a însemnat o serie de evenimente noi notabile:
Evenimente
Alan Turing de la Universitatea Cambridge, Anglia, a publicat o lucrare despre "numerele calculabile"[1] care a reformulat rezultatele lui Kurt Gödel (a se vedea lucrările conexe ale lui Alonzo Church). Lucrarea s-a adresat celebrei "Entscheidungsproblem" a cărei soluție a fost cerută ca un raționament (un fel de dispozitiv matematic) privind un calculator simplu și teoretic, cunoscut astăzi ca o mașină Turing. În multe feluri, acest dispozitiv a fost mult mai convenabil decât sistemul formal universal baza pe aritmetica lui Gödel.
^Turing, A.M. (). „On Computable Numbers, with an Application to the Entscheidungsproblem”. Proceedings of the London Mathematical Society. 2 (publicat la ). 42: 230–65. doi:10.1112/plms/s2-42.1.230. (and Turing, A.M. (). „On Computable Numbers, with an Application to the Entscheidungsproblem: A correction”. Proceedings of the London Mathematical Society. 2 (publicat la ). 43: 544–6. doi:10.1112/plms/s2-43.6.544.)
