Introduction a La Theorie De La Demonstration: Elimination Des Coupures, Normalisation Et Preuves De Coherence (Mathesis)

Galvan, Sergio; Mancosu, Paolo; Zach, Richard

ISBN 10: 2711630919 ISBN 13: 9782711630912

Verlag: Vrin, 2022

Inhaltsangabe

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.

Über diesen Titel

Von der hinteren Coverseite

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.

Details zur Ausgabe

• Verlag: Vrin
• Erscheinungsdatum: 2022
• Sprache: Französisch
• ISBN 10: 2711630919
• ISBN 13: 9782711630912
• Einband: Broschiert
• Anzahl der Seiten: 588
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar