Gödelian Puzzle Book

Puzzles, Paradoxes and Proofs

Häftad, Engelska, 2013

154 kr

Skickas . Fri frakt över 249 kr.

Beskrivning

These recreational logic puzzles provide entertaining variations on Gödel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. Written by a distinguished mathematician and creator of numerous popular puzzle books, this volume requires no background in formal logic and will delight readers of all ages.

Produktinformation

Utgivningsdatum:2013-09-30
Mått:135 x 213 x 18 mm
Vikt:318 g
Format:Häftad
Språk:Engelska
Antal sidor:288
Förlag:Dover Publications Inc.
ISBN:9780486497051

Utforska kategorier

Huvudbry inom Sport, fritid och hobby

Mer om författaren

Raymond Smullyan received his PhD from Princeton University and has taught at Dartmouth, Princeton, Indiana University, and New York's Lehman College. Best known for his mathematical and creative logic puzzles and games, he is also a concert pianist and a magician. He is the author of over a dozen books of logic puzzles and texts on mathematical logic.

Innehållsförteckning

Part I Puzzles, Paradoxes, Infinity and other CuriositiesI A Chatty Personal IntroductionII Some Curious AdventuresIII The Strange Island of MusicaIV Four MetapuzzlesV Certified Knights and KnavesVI Paradoxical?VII Infinity and InductionVIII Introducing Self-ReferenceIX Fixed Point PuzzlesX Some Curious SystemsXI How to Stump a Decision MachineXII Some Additional Godelian Puzzles Part IIXIII Truth and ProvabilityXIV Syntactic Incompleteness TheoremsXV Provability in StagesXVI Formal Systems and RecursionXVII Incompleteness and UndecidabilityXVIII First-Order ArithmeticXIX Arithmetic Truth is Not Formalizable XX The Incompleteness of Peano ArithmeticReferences