Gödel's incompleteness theorems
Author(s)
Bibliographic Information
Gödel's incompleteness theorems
(Oxford logic guides, 19)
Oxford University Press, 1992
Available at 67 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes bibliographical references (p. 136-137) and index
Description and Table of Contents
Description
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable". His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame.
In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel's incompleteness theorems. The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the book will appeal to mathematicians, philosophers, and computer scientists.
Table of Contents
- 1. The general idea behind Godel's proof
- 2. Tarski's theorem for arithmetic
- 3. The incompleteness of peano arithmetic with exponentation
- 4. Arithmetic without the exponential
- 5. Godel's proof based on consistency
- 6. Rosser systems
- 7. Shepherdson's Representation theorems
- 8. Definability and diagonalization
- 9. The unprovability of consistency
- 10. Some general remarks on provability and truth
- 11. Self-referential systems
by "Nielsen BookData"