Gödel's theorem : an incomplete guide to its use and abuse /

Bibliographic Details
Main Author: Franzén, Torkel
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.