idea

Gödel’s own view

He gave a disjunction: either the mind outruns any machine, or there are math problems that are absolutely unsolvable. He would not say which. It is more careful than Lucas and Penrose.

Connects to

• the replies
• Hofstadter
• checkable or not
• three views

Sources

1. Gödel, K. (1951). Some basic theorems on the foundations of mathematics and their implications (Gibbs Lecture). In Collected Works, Vol. III.