The Gödelian insight is all that we need
It's not necessary to see the consistency of an entire formal system. The ability to pass from one formal system to the Gödel sentence of that formal system is enough.
This kind of Gödelian insight, which is not captured by formal rules, is characteristic of mathematical insight and is non-algorithmic.

Roger Penrose (1990).
CONTEXT(Help)
-
Artificial Intelligence »Artificial Intelligence
▲
Are thinking computers mathematically possible? [7] »Are thinking computers mathematically possible? [7]
▲
No: computers are limited by Gödel's theorems »No: computers are limited by Gödel's theorems
▲
The problem of consistency »The problem of consistency
▲
We don't know that mathematics is consistent »We don't know that mathematics is consistent
■
The Gödelian insight is all that we need
●
The Gödelian insight has already been formalised »The Gödelian insight has already been formalised
◄
Roger Penrose »Roger Penrose
+Comments (0)
+Citations (0)
+About