Denna webbshop är stängd för köp.
Klicka här för mer information

The Gödelian Puzzle Book
  • Bandtyp: Häftad
  • Språk: Engelska
  • Utgiven: 20130927
  • Antal sidor: 288
  • ISBN10:0486497054
  • ISBN13:9780486497051

The Gödelian Puzzle Book

(Häftad)
Beskrivning:

These brand-new 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. 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 G del's theorem. The first three chapters of Part II contain generalized G del 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 G del'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.

Kundrecensioner och bloggar

Sök fler böcker:

Kunder som köpt denna bok har
även köpt:
Skotten i Köpenhamn :  ett reportage om
Uppgång och fall
Uppgång och fall
av Strömquist, Liv
Den allvarsamma leken
Den allvarsamma leken
av Söderberg, Hjalmar
Miniatyrmakaren
Miniatyrmakaren
av Burton, Jessie
Min mors självbiografi
Min mors självbiografi
av Kincaid, Jamaica