Une introduction à la théorie de la démonstration donnant des détails des preuves ainsi que de nombreux exemples et exercices afin de faciliter la compréhension des lecteurs. Elle porte à la fois sur la théorie structurelle et sur la théorie ordinale de la démonstration. ©Electre 2025
Cet ouvrage offre une introduction accessible à la théorie de la démonstration : il donne les détails des preuves et comporte de nombreux exemples et exercices pour faciliter la compréhension des lecteurs. Il est également conçu pour servir d'aide à la lecture des articles fondateurs de Gerhard Gentzen.
L'ouvrage introduit également aux trois principaux formalismes en usage : l'approche axiomatique des preuves, la déduction naturelle et le calcul des séquents. Il donne une démonstration claire et détaillée des résultats fondamentaux du domaine : traduction de l'arithmétique classique vers l'arithmétique intuitionniste, élimination des coupures, théorème de normalisation et conduit ensuite pas à pas le lecteur vers l'exposé de la célèbre preuve de cohérence de Gentzen pour l'arithmétique de Peano du premier ordre. Il comble ainsi une importante lacune éditoriale en présentant à la fois la théorie structurelle et la théorie ordinale de la démonstration.
Paru le : 13/12/2022
Thématique : Mathématiques Appliquées
Auteur(s) : Auteur : Paolo Mancosu Auteur : Sergio Galvan Auteur : Richard Zach
Éditeur(s) :
Vrin
Collection(s) : Mathesis
Contributeur(s) : Traducteur : Yacine Aggoune - Traducteur : David Appadourai - Traducteur : Agathe Rolland - Traducteur : David Waszek
Série(s) : Non précisé.
ISBN : 978-2-7116-3091-2
EAN13 : 9782711630912
Reliure : Broché
Pages : 588
Hauteur: 22.0 cm / Largeur 14.0 cm
Épaisseur: 3.0 cm
Poids: 801 g
Carte fidélité
Mollat Radio
