The ingenious machine
A machine programmed for mathematical insight will decide the truth or falsity of sentences of predicate calculus in the same way human mathematicians do—such an ingenious machine won't have to rely on strictly decidable means for making decisions.
J. J. C. Smart (1961).

Note: Also see "Ingenious machines could evade the Gödel argument" on this map.
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
▲
Theorems show limitations of machine thought »Theorems show limitations of machine thought
▲
The argument from Church's theorem »The argument from Church's theorem
■
The ingenious machine
+Commentaires (0)
+Citations (0)
+About