Inductive machines immune to Gödelization
Inductive thinking, which humans can do, would allow computers to understand their own Gödel sentences.
Argument anticipated by John Lucas (1961).
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
■
Inductive machines immune to Gödelization
●
Self programming inductive machines »Self programming inductive machines
●
Some AI systems are inductive and probabilistic »Some AI systems are inductive and probabilistic
●
A dilemma about inductive machines »A dilemma about inductive machines
+Comments (0)
+Citations (0)
+About