- EAN13
- 9782711630912
- ISBN
- 978-2-7116-3091-2
- Éditeur
- Vrin
- Date de publication
- 13/12/2022
- Collection
- Mathesis
- Dimensions
- 21,5 x 13,5 x 3 cm
- Poids
- 801 g
- Langue
- français
- Fiches UNIMARC
- S'identifier
Introduction à la théorie de la démonstration
Élimination des coupures, normalisation et preuves de cohérence
De Richard Zach, Paolo Mancosu, Sergio Galvan
Vrin
Mathesis
Ce livre est en stock chez un confrère du réseau leslibraires.fr,
Cliquez ici pour le commander
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’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.
S'identifier pour envoyer des commentaires.
Autres contributions de...
-
Le voyage secret du Docteur Jivago, Le roman du romanPaolo Mancosu, Dominique MacabiesÉditions de la Maison des sciences de l'homme, Paris