Introduction a la Theorie de la Demonstration: Elimination Des Coupures, Normalisation Et Preuves de Coherence [French]

By Sergio Galvan

Cet ouvrage offre une introduction accessible a la theorie de la demonstration: il donne les details des preuves et comporte de nombreux exemples et exercices pour faciliter la comprehension des lecteurs. Il est egalement concu pour servir d'aide a la lecture des articles fondateurs de Gerhard Gentzen. L'ouvrage introduit egalement aux trois principaux formalismes en usage: l'approche axiomatique des preuves, la deduction naturelle et le calcul des sequents. Il donne une demonstration claire et detaillee des resultats fondamentaux du domaine: traduction de l'arithmetique classique vers l'arithmetique intuitionniste, elimination des coupures, theoreme de normalisation et conduit ensuite pas a pas le lecteur vers l'expose de la celebre preuve de coherence de Gentzen pour l'arithmetique de Peano du premier ordre. Il comble ainsi une importante lacune editoriale en presentant a la fois la theorie structurelle et la theorie ordinale de la demonstration.

• Format: Paperback
• Language: French
• ISBN: 2711630919
• ISBN13: 9782711630912
• Release Date: December 2022
• Publisher: Librarie Philosophique J. Vrin
• Length: 588 Pages
• Weight: 0.74 lbs.