comments

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.
RELATED ARTICLESExplain
⌅
Artificial Intelligence
⌃
Are thinking computers mathematically possible? [7]
⌃
No: computers are limited by Gödel's theorems
⌃
Theorems show limitations of machine thought
⌃
The argument from Church's theorem
■
The ingenious machine
□
Graph of this discussion
Enter the title of your article


Enter a short (max 500 characters) summation of your article
Enter the main body of your article
Lock
+Comments (0)
+Citations (0)
+About
Enter comment

Select article text to quote
welcome text

First name   Last name 

Email

Skip