Scienze cognitive: differenze tra le versioni

Versione delle 11:54, 24 nov 2006

Versione delle 11:54, 8 dic 2006

Riga 12:

==Quadro storico==

===L' ''Entscheidungsproblem''===

Sorprendentemente le radici delle scienze cognitive si trovano nella [[matematica]]. [[David Hilbert]], ritenendo la matematica un campo ormai quasi completamente conchiuso e completato, stilò una lista di problemi che dovevano essere ancora risolti e tra questi pose la domanda se la matematica fassefosse decidibile. La risposta affermativa che auspicava avrebbe implicato che ci fosse un metdo semplice ma universale per poter decidere di ogni proposizione matematica se fosse vera o falsa. [[Alan Mathison Turing]] e [[Alonzo Church]] dimostrarono entrambi che la risposta al cosiddetto ''Entscheidungsproblem'' fosse invece negativa. Church inventò e adoperò il [[lambda calcolo]] Turing la famosa [[macchina di Turing]].

===La macchina universale di Turing===