Cantitate/Preț
Produs

The Godelian Puzzle Book

Autor Raymond M. Smullyan
en Limba Engleză Paperback – 20 aug 2013
These brand-new recreational logic puzzles provide entertaining variations on Godel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. Created by the celebrated logician Raymond Smullyan, the puzzles require no background in formal logic and will delight readers of all ages.
The two-part selection of puzzles and paradoxes begins with examinations of the nature of infinity and some curious systems related to Godel's theorem. The first three chapters of Part II contain generalized Godel theorems. Symbolic logic is deferred until the last three chapters, which give explanations and examples of first-order arithmetic, Peano arithmetic, and a complete proof of Godel's celebrated result involving statements that cannot be proved or disproved. The book also includes a lively look at decision theory, better known as recursion theory, which plays a vital role in computer science.
"
Citește tot Restrânge

Preț: 7167 lei

Preț vechi: 8595 lei
-17% Nou

Puncte Express: 108

Preț estimativ în valută:
1372 1495$ 1151£

Carte disponibilă

Livrare economică 27 noiembrie-04 decembrie
Livrare express 13-19 noiembrie pentru 3738 lei

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780486497051
ISBN-10: 0486497054
Pagini: 288
Dimensiuni: 135 x 213 x 18 mm
Greutate: 0.32 kg
Editura: Dover Publications

Descriere

These brand-new recreational logic puzzles provide entertaining variations on Godel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. Created by the celebrated logician Raymond Smullyan, the puzzles require no background in formal logic and will delight readers of all ages.
The two-part selection of puzzles and paradoxes begins with examinations of the nature of infinity and some curious systems related to Godel's theorem. The first three chapters of Part II contain generalized Godel theorems. Symbolic logic is deferred until the last three chapters, which give explanations and examples of first-order arithmetic, Peano arithmetic, and a complete proof of Godel's celebrated result involving statements that cannot be proved or disproved. The book also includes a lively look at decision theory, better known as recursion theory, which plays a vital role in computer science.
"


Cuprins