Penrose's argument for computational irreducibility of cognition

``... insights that are available to human mathematicians - indeed, to anyone who can think logically with understanding and imagination - lie beyond anything that can be formalized as a set of rules [performed computationally]''

Roger Penrose in Shadows of the Mind, 1994.

The basis for this assertion is argued for by Penrose using Gödel's Incompleteness Theorems.

• Gödel's Theorem in a nutshell: Introduction
• Gödel's Theorem in a nutshell: Argument
• Gödels's Theorem in a nutshell: Conclusion