Introduction à la théorie de la démonstration

Élimination des coupures, normalisation et preuves de cohérence

Sergio Galvan, Paolo Mancosu, Richard Zach - Collection Mathesis

Parution le 13/12/2022

Ajouter à une liste

Expédié sous 9 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

Résumé

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 - Paolo Mancosu

Autres livres de Paolo Mancosu

Infini, logique, géométrie

Découvrir tous les livres de Paolo Mancosu

Caractéristiques techniques

	PAPIER
Éditeur(s)	Vrin
Auteur(s)	Sergio Galvan, Paolo Mancosu, Richard Zach
Collection	Mathesis
Parution	13/12/2022
Format	13.5 x 21.5
Couverture	Broché
EAN13	9782711630912