Introduction a la theorie de la demonstration

Elimination des coupures, normalisation et preuves de coherence

By (author) Sergio Galvan By (author) Paolo Mancosu By (author) Richard Zach Translated by Yacine Aggoune Translated by David Appadourai Translated by Agathe Rolland Translated by David Waszek

Book cover: Introduction a la theorie de la demonstration

Extent: 588 pages

Publisher: Librairie Philosophique J. Vrin

Subjects: Philosophy

Series: Mathesis

Language: French

Paperback (Published)

(December 2022)

ISBN: 9782711630912

Price: $44.00

In stock

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.

  • By (author) Sergio Galvan
  • By (author) Paolo Mancosu
  • By (author) Richard Zach
  • Translated by Yacine Aggoune
  • Translated by David Appadourai
  • Translated by Agathe Rolland
  • Translated by David Waszek