Introduction à la théorie de la démonstration

Paolo Mancosu, Sergio Galvan et Richard Zach

Introduction à la théorie de la démonstration Élimination des coupures, normalisation et preuves de cohérence

Paru en décembre 2022

Vrin - Mathesis

Disponible
Prix : 38,00 €
Acheter

588 pages - 13,5 × 21,5 × 3,0 cm
ISBN 978-2-7116-3091-2 - décembre 2022

Présentation

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.

L’Auteur

Traduction de Y. Aggoune, D. Appadourai et A. Rolland, révisée par D. Waszek

Traduction de Aggoune Yacine,Appadourai David,Rolland Agathe,Waszek David

Dans la même collection