Return to Article Details "Cogito ergo sum non machina!" About Gödel's first incompleteness theorem and turing machines Download Download PDF