Un-Gödelizable machine wouldn't be a machine
Machines behave in a determinate manner according to definite rules. But any such determinate machine is susceptible to the Gödelization procedure because its behaviour can be formalised. Any machine that can't be Gödelized isn't really a machine.
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
▲
Highly complex machine may not be Gödelizable »Highly complex machine may not be Gödelizable
■
Un-Gödelizable machine wouldn't be a machine
◄
John Lucas »John Lucas
+Σχόλια (0)
+Αναφορές (0)
+About