Can humans escape Gödel? A Review of Shadows of the Mind by Roger Penrose
McCullough (Daryl)
Source: Psyche, 2(4), April 1995
Paper - Abstract

Paper StatisticsBooks / Papers Citing this PaperDisclaimer


Introduction (Full Text – “Gödel's Theorem And The Mind”)

  1. In the first part of Shadows of the Mind, Penrose gives an argument that human reasoning must go beyond what is computable. Therefore, no computer program can ever hope to be as intelligent as a human being. Penrose doesn't give a direct argument for his thesis. He doesn't for instance, show that there is some task that humans can perform which no computer can. (Although he suggests without offering a proof that certain kinds of geometric visualization may allow us to deduce facts in an inherently noncomputable way.) Instead, Penrose uses an indirect proof-he assumes that there exists a computer program that is every bit as intelligent as a human, and shows that that leads to a contradiction.

Comment:

Text Colour Conventions (see disclaimer)

  1. Blue: Text by me; © Theo Todman, 2022
  2. Mauve: Text by correspondent(s) or other author(s); © the author(s)



© Theo Todman, June 2007 - Jan 2022. Please address any comments on this page to theo@theotodman.com. File output:
Website Maintenance Dashboard
Return to Top of this Page Return to Theo Todman's Philosophy Page Return to Theo Todman's Home Page