Views
Graph
Explorer
Focus
Down
Load 1 level
Load 2 levels
Load 3 levels
Load 4 levels
Load all levels
All
Dagre
Focus
Down
Load 1 level
Load 2 levels
Load 3 levels
Load 4 level
Load all levels
All
Tree
SpaceTree
Focus
Expanding
Load 1 level
Load 2 levels
Load 3 levels
Down
All
Down
Radial
Focus
Expanding
Load 1 level
Load 2 levels
Load 3 levels
Down
All
Down
Box
Focus
Expanding
Down
Up
All
Down
Page ✓
Article
Outline
Document
Down
All
Canvas
Time
Timeline
Calendar
Request email digest
Past 24 hours
Past 2 days
Past 3 days
Past week
Add
Add page
Add comment
Add citation
Edit
Edit page
Delete page
Share
Link
Bookmark
Embed
Social media
Login
Member login
Register now for a free account
🔎
Theorems show limitations of machine thought
SupportiveArgument
1
#1184
Gödel’s theorem, and other mathematical theorems like it, reveal essential limitations on the project of making machines that think.
Note
: This region covers those arguments that don't derive from Lucas or Penrose but still deal with Gödelian limitations; that is, with the limitations that Gödel’s theorem—and other similar theorems—impose on machine and/or human intelligence.
CONTEXT
(Help)

Artificial Intelligence »
Artificial Intelligence
Artificial Intelligence☜A collaboratively editable version of Robert Horns brilliant and pioneering debate map Can Computers Think?—exploring 50 years of philosophical argument about the possibility of computer thought.☜F1CEB7
▲
Are thinking computers mathematically possible? [7] »
Are thinking computers mathematically possible? [7]
Are thinking computers mathematically possible? [7]☜Is it mathematically possible for a computer to think as well as a human can? Does the mathematics of computation contain anything to prohibit machines from thinking?☜FFB597
▲
No: computers are limited by Gödel's theorems »
No: computers are limited by Gödel's theorems
No: computers are limited by Gödel's theorems☜Gödels theorem proves that a computer cant in principle operate with human understanding (see detailed text). Gödels incompleteness theorems are the Achilles heel of mechanism. John Lucas (1961).☜59C6EF
■
Theorems show limitations of machine thought
Theorems show limitations of machine thought☜Gödel’s theorem, and other mathematical theorems like it, reveal essential limitations on the project of making machines that think.☜98CE71
●
Gödel's first theorem »
Gödel's first theorem
Gödel's first theorem☜Gödels incompleteness theorem shows that any consistent formal system of axioms and rules of inference, provided its strong enough to produce arithmetic, will contain true statements that cant be proven by the procedures provided in the system. ☜98CE71
●
Gödel's second theorem »
Gödel's second theorem
Gödel's second theorem☜As a corollary to Gödels first theorem it follows that any consistent formal system strong enough to produce arithmetic cant prove itself consistent. ☜98CE71
●
Gödel's and Church's theorems are psychological laws »
Gödel's and Church's theorems are psychological laws
Gödel's and Church's theorems are psychological laws☜Gödel’s theorem shows that human creativity will always exceed human capacity to anticipate that creativity. Furthermore, the theorems also show humans are able to entertain and clearly conceive of ideas that are neither constructible nor effective.☜98CE71
●
Machines can't understand language like humans »
Machines can't understand language like humans
Machines can't understand language like humans☜Machines inability to distinguish the negation of the Gödel sentence from the Gödel sentence itself shows that matchines arent able to distinguish any sentence from its negation—which is a requirement of natural language understanding.☜98CE71
●
Mathematical thought can't be fully formalised »
Mathematical thought can't be fully formalised
Mathematical thought can't be fully formalised☜Gödel’s theorem shows that human creativity cant be fully formalised. The ingenuity of mathematicians in devising new methods cant be reduced to a precise logical form.☜98CE71
●
Mathematics is an essentially creative activity »
Mathematics is an essentially creative activity
Mathematics is an essentially creative activity☜The incompleteness and undecidability results support the idea that mathematics is essentially creative, and that its preferable to have multiple formal systems rather than a single universal system such as the Principia Mathematica.☜98CE71
●
The argument from Church's theorem »
The argument from Church's theorem
The argument from Church's theorem☜According to Churchs theorem theres no decision procedure for predicate calculus. This means that there is no computable procedure by which a machine can decide whether a given sentence in predicate calculus is true or false.☜98CE71
●
A human can't simultaneously beat all machines »
A human can't simultaneously beat all machines
A human can't simultaneously beat all machines☜Theorems like Churchs, Gödels, and Turings, show only that a human can beat one machine on a given occasion. But theres no reason to believe that a human can outthink all machines. ☜EF597B
●
Machines may eventually have mathematical intuition »
Machines may eventually have mathematical intuition
Machines may eventually have mathematical intuition☜The incompleteness theorems only show that a machine cant be proven to possess mathematical intuition—not that machines cant in fact possess mathematical intuition.☜EF597B
Heading
Summary
Click the button to enter task scheduling information
Open
Details
Enter task details
Message text
Select assignee(s)
Due date (click calendar)
RadDatePicker
RadDatePicker
Open the calendar popup.
Calendar
Title and navigation
Title and navigation
<<
<
June 2021
>
<<
June 2021
S
M
T
W
T
F
S
23
30
31
1
2
3
4
5
24
6
7
8
9
10
11
12
25
13
14
15
16
17
18
19
26
20
21
22
23
24
25
26
27
27
28
29
30
1
2
3
28
4
5
6
7
8
9
10
Reminder
No reminder
1 day before due
2 days before due
3 days before due
1 week before due
Ready to post
Copy to text
Enter
Cancel
Task assignment(s) have been emailed and cannot now be altered
Lock
Cancel
Save
Comment graphing options
Choose comments:
Comment only
Whole thread
All comments
Choose location:
To a new map
To this map
New map options
Select map ontology
Options
Standard (default) ontology
College debate ontology
Hypothesis ontology
Influence diagram ontology
Story ontology
Graph to private map
Cancel
Proceed
+Comments (
0
)
 Comments
Add a comment
Newest first
Oldest first
Show threads
+Citations (
0
)
 Citations
Add new citation
List by:
Citerank
Map
+About
 About
Entered by:
David Price
NodeID:
#1184
Node type:
SupportiveArgument
Entry date (GMT):
9/5/2006 10:43:00 AM
Last edit date (GMT):
12/14/2007 12:25:00 AM
Show other editors
Incoming crossrelations:
0
Outgoing crossrelations:
0
Average rating:
9
by
1
users
x
Select file to upload