Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
Cover
Title Page
Copyright Page
Preface
Contents
Part I: Puzzles, Paradoxes, Infinity and other Curiosities
Chapter I A Chatty Personal Introduction
Chapter II Some Curious Adventures
Chapter III The Strange Island of Musica
Chapter IV Four Metapuzzles
Chapter V Certified Knights and Knaves
Chapter VI Paradoxical?
Chapter VII Infinity and Induction
Chapter VIII Introducing Self-Reference
Chapter IX Fixed Point Puzzles
Chapter X Some Curious Systems
Chapter XI How to Stump a Decision Machine
Chapter XII Some Additional Gödelian Puzzles
Part II: Provability, Truth and the Undecidable
Chapter XIII Truth and Provability
Chapter XIV Syntactic Incompleteness Theorems
Chapter XV Provability in Stages
Chapter XVI Formal Systems and Recursion
Chapter XVII Incompleteness and Undecidability
Chapter XVIII First-Order Arithmetic
Chapter XIX Arithmetic Truth Is Not Formalizable
Chapter XX The Incompleteness of Peano Arithmetic
References
← Prev
Back
Next →
← Prev
Back
Next →