Discussione:Macchina Gödel-incompleta
Ultimo commento: 18 anni fa di Alberto da Calvairate
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)