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
🔎
Improved machines
OpposingArgument
1
#1093
A beefed-up machine can recognise the truth of the Gödel sentence. Such a machine defeats Lucas's argument, because it shows that a formal system can evade Lucas's Gödelizing ability.
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
■
Improved machines
Improved machines☜A beefed-up machine can recognise the truth of the Gödel sentence. Such a machine defeats Lucass argument, because it shows that a formal system can evade Lucass Gödelizing ability.☜EF597B
●
Connectionist machine may evade Gödelization »
Connectionist machine may evade Gödelization
Connectionist machine may evade Gödelization☜A connectionist machine with massively parallel distributed processing capability could in principle reconfigure its own parameters while in the process of computation and arrive at its own semantic metalanguage by inductive means.☜98CE71
●
Highly complex machine may not be Gödelizable »
Highly complex machine may not be Gödelizable
Highly complex machine may not be Gödelizable☜A qualitative difference in the way computers think may be introduced when they have advanced to a high enough degree of complexity. Such a highly complex machine may recognise the truth of its own Gödel sentence.☜98CE71
●
Inductive machines immune to Gödelization »
Inductive machines immune to Gödelization
Inductive machines immune to Gödelization☜Inductive thinking, which humans can do, would allow computers to understand their own Gödel sentences.☜98CE71
●
Ingenious machines could evade the Gödel argument »
Ingenious machines could evade the Gödel argument
Ingenious machines could evade the Gödel argument☜Machines may have mathematical insight, if theyre properly programmed to gauge symmetry and simplicity in patterns of formulae. Such ingenious machines replicate abilities of human mathematicians, and so can evade Gödelization as well as any human.☜98CE71
●
Self-referential machines »
Self-referential machines
Self-referential machines☜A self-referential machine can evaluate Gödel sentences for itself. Such a machine may evade the Lucas argument.☜98CE71
●
The Gödelian insight has already been formalised »
The Gödelian insight has already been formalised
The Gödelian insight has already been formalised☜Programs have been developed that can derive Gödels theorems. The Gödelian insight has, in effect, been formalised.☜98CE71
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
<<
<
December 2024
>
<<
December 2024
S
M
T
W
T
F
S
48
24
25
26
27
28
29
30
49
1
2
3
4
5
6
7
50
8
9
10
11
12
13
14
51
15
16
17
18
19
20
21
52
22
23
24
25
26
27
28
53
29
30
31
1
2
3
4
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:
#1093
Node type:
OpposingArgument
Entry date (GMT):
8/29/2006 7:52:00 PM
Last edit date (GMT):
12/9/2007 4:17:00 PM
Show other editors
Incoming cross-relations:
0
Outgoing cross-relations:
0
Average rating:
8
by
1
users
x
Select file to upload