The Gödelian Puzzle Book Ebook Info-bulle Puzzles, paradoxes et preuves

Extrait

  • en
  • livre numérique
  • 9780486315775
  • 21 août 2013
  • 240 pages
Toutes les spécifications de l'article
  • Vous pouvez facilement lire des ebooks sur votre Kobo , ou sur votre smartphone avec l'application bol.com Kobo . Les ebooks ne peuvent pas être annulés ou retournés.

Résumé

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.

Spécifications produit

Contenu

Langue
en
Binding
livre numérique
Date de sortie initiale
21 août 2013
Nombre de pages
240
Illustrations
Non

Personnes impliquées

Auteur principal
Raymond Smullyan
Deuxième auteur
Raymond Smullyan
Editeur principal
Dover Publications Inc

Options de lecture

Lisez cet ebook sur
Android (smartphone et tablette) | Lecteur électronique Kobo | Ordinateur de bureau (Mac et Windows) | iOS (smartphone et tablette) | Windows (smartphone et tablette)

Autres spécifications

Hauteur de l'emballage
18 mm
Livre d‘étude
Non
Poids de l'emballage
318 g
Police de caractères extra large
Non
Édition
1

EAN

EAN
9780486315775

Avis

1 avis
1
0
0
0
0
  • Traduit automatiquement

    positif points

    • Complet
    • Clairement arrangé

    Raymond Smullyan combine ses énigmes logiques avec une explication du travail de Kurt Goedel. Les énigmes sur les chevaliers et les coquins sont des classiques. Pour le vrai casse-tête.

    Avez-vous trouvé cet avis utile ?
    0
    0

Informations sur les prix et commande

Le prix de ce produit est de 14 euros et 69 cents.
Disponible immédiatement
Vendu par bol
Ebook
  • E-book utilisable dès son achat
  • Les e-books offrent plein d'avantages
  • Service client 24h/24
  • Paiement sécurisé
Vous ne pouvez pas annuler ou retourner des éléments téléchargés. Pour les produits qui ne sont pas encore parus, vous pouvez annuler jusqu'à la date de publication.
Voir aussi les conditions de retour