Filosofia dell'informazione/Computazione: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 26:
Questa scoperta ha causato il caos con l'opinione matematica e filosofica ricevuta. Il lavoro di Turing - insieme al lavoro contemporaneo di Church (1936a, 1936b) - ha avviato l'importante ramo della logica matematica che indaga e codifica i problemi "troppo difficili" per essere risolti dalla macchina di Turing.
== Cos'è una macchina di Turing?==
| |||