Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 10 votes.
Titre original :
Gdel Without (Too Many) Tears
Contenu du livre :
Le célèbre premier théorème d'incomplétude de Kurt Gödel montre que, pour toute théorie suffisamment riche qui contient assez d'arithmétique, il existe des vérités arithmétiques que la théorie peut exprimer mais qu'elle ne peut pas prouver. Comment ce résultat remarquable a-t-il été établi ? Ce petit livre l'explique.
Il aborde également le deuxième théorème d'incomplétude de Gödel. L'objectif est de rendre les théorèmes disponibles, clairs et accessibles, même à ceux qui ont un bagage formel assez limité.
La première édition était basée sur les notes de cours très téléchargées d'un cours donné à Cambridge pendant de nombreuses années. Cette deuxième édition est plus étendue et largement révisée.
Autres informations sur le livre :
| ISBN : | 9781916906341 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
Achat:
Actuellement disponible, en stock.
