TY - BOOK ID - 145448309 TI - Introduction à la théorie de la démonstration : élimination des coupures, normalisation et preuves de cohérence AU - Mancosu, Paolo AU - Galvan, Sergio AU - Zach, Richard AU - Aggoune Yacine AU - Appadourai David AU - Rolland Agathe AU - Waszek, David PY - 2022 SN - 9782711630912 PB - Paris : Librairie philosophique J. Vrin, DB - UniCat KW - Théorie de la démonstration. KW - Théorie de la démonstration KW - Demonstration (Logic) UR - https://www.unicat.be/uniCat?func=search&query=sysid:145448309 AB - "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." ER -