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).
Immediately related elementsHow this works
-
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
+Komentarai (0)
+Citavimą (0)
+About