Introduction a La Theorie De La Demonstration : Elimination Des Coupures, Normalisation Et Preuves De Coherence -Language: french

Galvan, Sergio; Mancosu, Paolo; Zach, Richard; Aggoune, Yacine (TRN); Appadourai, David (TRN)

ISBN 10: 2711630919 / ISBN 13: 9782711630912

Published by Librairie Philosophique J Vrin, 2022

About this Item

Unread book in perfect condition.

Seller Inventory # 47316954

Bibliographic Details

• Title: Introduction a La Theorie De La Demonstration : Elimination Des Coupures, Normalisation Et Preuves De Coherence -Language: french
• Publisher: Librairie Philosophique J Vrin
• Publication Date: 2022
• Language: French
• ISBN 10: 2711630919
• ISBN 13: 9782711630912
• Binding: Soft cover
• Condition: As New

About this title

Synopsis

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.

About the Author

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