Home‎ > ‎articoli vari‎ > ‎

E' POSSIBILE UNA LOGICA COMPUTAZIONE?

pubblicato 22 feb 2014, 03:10 da Elvio Ceci
A questa domanda, Odifreddi avrebbe risposto negativamente. Alla base di un linguaggio che potremmo definire computazionale possiamo individuare gli studi compiuti da A. Turing e da A. Church, nei primi decenni del Novecento. Proprio Church ebbe come risultato principale quello di creare un linguaggio formale, chiamato Lambda calcolo, molto utile nella risoluzione dei paradossi. Come contro-partita, tuttavia, ...altro
Comments