Gödelian insight is a slippery character
The Gödelian insight can attach itself to any system that has been algorithmically specified, including an algorithmic specification of the Gödelization procedure.
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
▲
Improved machines »Improved machines
▲
The Gödelian insight has already been formalised »The Gödelian insight has already been formalised
▲
Gödelization procedure algorithmically specifiable »Gödelization procedure algorithmically specifiable
■
Gödelian insight is a slippery character
◄
Roger Penrose »Roger Penrose
+Comments (0)
+Citations (0)
+About