Couverture
image_key: 978/27/11/9782711630912_777c17225340c381
Informations
Introduction à la théorie de la démonstration
Sergio Galvan, Paolo Mancosu, Richard Zach, Yacine Aggoune, David Appadourai, Agathe Rolland, David Waszek
Dernière mise à jour : 04/02/2026
0%
Fiche complétée
Éditeur
Vrin
Collection
Mathesis
Série
—
Numéro de série
—
Format
—
Présentation
—
Parution
13-12-2022
Pages
—
Poids
—
Largeur
—
Hauteur
—
Épaisseur
—
Classification
Sciences humaines et sociales, Lettres > Philosophie > Epistémologie, philosophie des sciences, logique
Sélectionnez une catégorie jusqu’au niveau le plus précis disponible.
Image key
978/27/11/9782711630912_777c17225340c381
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.
API (debug)
/api/v1/lookup?ean=9782711630912
Librairies
Outils de recherche:
(liste non exaustive)
Vous constatez une erreur ?
Connectez-vous pour proposer une correction et recevoir 20 crédits MetasBooks après validation.