- 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
Offres
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, Paris27,00