Coverart for item
The Resource Gödel's theorem : an incomplete guide to its use and abuse, Torkel Franzén

Gödel's theorem : an incomplete guide to its use and abuse, Torkel Franzén

Label
Gödel's theorem : an incomplete guide to its use and abuse
Title
Gödel's theorem
Title remainder
an incomplete guide to its use and abuse
Statement of responsibility
Torkel Franzén
Creator
Subject
Language
eng
Summary
"Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzén gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not. No other book aims, as his does, to address in detail the misunderstandings and abuses of the incompleteness theorems that are so rife in popular discussions of their significance. As an antidote to the many spurious appeals to incompleteness in theological, anti-mechanist and post-modernist debates, it is a valuable addition to the literature." -- John W. Dawson, author of Logical Dilemmas: The Life and Work of Kurt Gödel
Member of
Cataloging source
COCUF
http://library.link/vocab/creatorName
Franzén, Torkel
Dewey number
511.3
Index
index present
LC call number
QA9.65
LC item number
.F73 2005eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/subjectName
  • Gödel's theorem
  • Incompleteness theorems
  • MATHEMATICS / Recreations & Games
  • MATHEMATICS / Set Theory
  • Gödel's theorem
  • Incompleteness theorems
Label
Gödel's theorem : an incomplete guide to its use and abuse, Torkel Franzén
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 165-167) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
144618701
Dimensions
unknown
Extent
1 online resource (x, 172 pages)
Form of item
online
Isbn
9780429295225
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
AKP0KE13729PDF
Specific material designation
remote
System control number
(OCoLC)144618701
Label
Gödel's theorem : an incomplete guide to its use and abuse, Torkel Franzén
Publication
Bibliography note
Includes bibliographical references (pages 165-167) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
144618701
Dimensions
unknown
Extent
1 online resource (x, 172 pages)
Form of item
online
Isbn
9780429295225
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
AKP0KE13729PDF
Specific material designation
remote
System control number
(OCoLC)144618701

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...