"Cogito ergo sum non machina!" About Gödel's first incompleteness theorem and turing machines
(Ricardo Pereira Tassinari, Itala M. Loffredo D'Ottaviano)