Can Computers Think?
The History and Status of the Debate
- Map 7 of 7
Are Thinking Computers
Mathematically Possible?
Click on issue areas on map or in list below to go to next level.
Issue Areas
Is mechanistic philosophy valid?
Does Gödel's theorem
show that machines can't think?
Does Gödel's theorem show that
machines can't be conscious?
Do mathematical theorems like
Gödel's show that computers are intrinsically limited?
Does Gödel's theorem show
that mathematical insight is non-algorithmic?
Can automata think?
Is the Lucas argument dialectical?
Can improved machines beat the
Lucas argument?
Is the use of consistency in the
Lucas argument problematic?
Other Lucas arguments
Sidebars
The Background of Gödel's
Proof
The Steps of Gödel's Proof
Self-Referential Paradoxes
Formal Systems: An Overview
Alternative Versions of Gödel's
Theorem
Maps | General information
| Details and features
| Specifications |
Issue areas | Press
release
Methodology | Background
paper | The cartographic
metaphor | Criteria |
How the maps work
For Instructors and Students | Importance
of Turing debate | For
instructors | For
students | Author
(Protagonist) index | FAQS
Commentary and Reviews | Commentary
and reviews | Errata
and corrections
Action Items | Buy the
set of maps | How
you can participate in this debate
Examples | View the maps. | Map
1 | Map 2 | Map
3 | Map 4 | Map
5 | Map 6 | Map
7 |
MacroVU home page |
Send us a message
| Project
Director's Home Page