Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 18 votes.
Titre original :
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Contenu du livre :
L'ouvrage An Introduction to Proof Theory fournit une introduction accessible à la théorie des preuves, avec des détails sur les preuves élaborées, des exemples et des exercices pour aider le lecteur à comprendre. Il accompagne également la lecture des articles originaux de Gerhard Gentzen, qui ont fait date. La première.
La première moitié couvre des sujets relatifs à la théorie structurelle de la preuve, y compris la traduction de Gdel-Gentzen de la logique classique en logique intuitionniste (et en arithmétique), la déduction naturelle et les théorèmes de normalisation (pour NJ et NK), le calcul séquentiel, y compris l'élimination des coupes et les théorèmes de milieu de séquence, ainsi que diverses autres applications de ces résultats.
Applications de ces résultats. La seconde moitié examine la théorie de la preuve ordinale, en particulier la preuve de cohérence de Gentzen pour l'arithmétique de Peano du premier ordre. La théorie des notations ordinales et d'autres éléments de la théorie ordinale sont développés à partir de zéro, et aucune connaissance de la théorie des ensembles n'est présumée. Les.
Les méthodes de preuve nécessaires pour établir les résultats de la théorie de la preuve, en particulier la preuve par induction, sont introduites par étapes tout au long du texte. L'introduction de Mancosu, Galvan et Zach fournira une base solide pour ceux qui cherchent à comprendre ce domaine central de la logique mathématique et de la philosophie.
des mathématiques.
Autres informations sur le livre :
| ISBN : | 9780192895943 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2021 |
| Nombre de pages : | 432 |
Achat:
Actuellement disponible, en stock.
