Cum să cumpăr
Livrare
Consilier de cumpărături
Goedelian Puzzle Book
engleză
37 b
30 de zile pentru retur bunuri
Clienții au cumpărat de asemenea
Part I Puzzles, Paradoxes, Infinity and other Curiosities I A Chatty Personal Introduction II Some Curious Adventures III The Strange Island of Musica IV Four Metapuzzles V Certified Knights and Knaves VI Paradoxical? VII Infinity and Induction VIII Introducing Self-Reference IX Fixed Point Puzzles X Some Curious Systems XI How to Stump a Decision Machine XII Some Additional Godelian Puzzles Part II XIII Truth and Provability XIV Syntactic Incompleteness Theorems XV Provability in Stages XVI Formal Systems and Recursion XVII Incompleteness and Undecidability XVIII First-Order Arithmetic XIX Arithmetic Truth is Not Formalizable XX The Incompleteness of Peano Arithmetic References
Informații despre carte
engleză
