Gödel's theorem : an incomplete guide to its use and abuse /
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Wellesley, Mass. :
A.K. Peters,
[2005]
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- 1. Introduction
- 2. The incompleteness theorem : an overview
- 3. Computability, formal systems, and incompleteness
- 4. Incompleteness everywhere
- 5. Skepticism and confidence
- 6. Gödel, minds, and computers
- 7. Gödel's completeness theorem
- 8. Incompleteness, complexity, and infinity.