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