Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Contenu du livre :
Dans une nouvelle édition, la présentation classique de la théorie des fonctions calculables dans le contexte des fondements des mathématiques. La première partie motive l'étude de la calculabilité par des discussions et des lectures sur la crise des fondements des mathématiques au début du 20e siècle, tout en présentant les idées de base du nombre entier, de la fonction, de la preuve et du nombre réel.
La partie II commence par des lectures de Turing et Post qui conduisent à la théorie formelle des fonctions récursives. La partie III présente une logique formelle suffisante pour donner un développement complet des théorèmes d'incomplétude de Godel.
La partie IV examine la signification du travail technique avec une discussion de la thèse de Church et des lectures sur les fondements des mathématiques. Cette nouvelle édition contient la chronologie "Computabilité et indécidabilité" ainsi que l'essai "Sur les mathématiques".
Autres informations sur le livre :
| ISBN : | 9780981550725 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Relié |
Achat:
Actuellement disponible, en stock.
