Discussione:Macchina Gödel-incompleta
Vai alla navigazione
Vai alla ricerca
Nell'articolo l'autore, Almit39, riprende un esempio dovuto a Smullyan, sembra correttamente. Egli però introduce alcuni termini non standard: macchina Gödel-incompleta e autosentenza. A me non sembrano male scelti, ma dovrebbero risultare accettabili ad altri. Inoltre la frase finale propone una interpretazione di questa macchina (e quindi anche del teorema di incompletezza di Gödel) in termini di autoconsapevolezza. Mah. Almit39 15:21, 3 feb 2006 (CET)