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).
Λεπτομέρειες πλοηγού
(Βοήθεια)
-
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
+Σχόλια (0)
+Αναφορές (0)
+About