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
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
Other Titles in this Series
La fin du regard eclairant
le Traite de l'Optique de Ibn al-Haytham : une revolution dans les sciences de la vision au XIe siecle
Similar Books
Sitten zwischen Moralphilosophie und Politischer Okonomie am Ende des 18. Jahrhunderts
Mit einer zweisprachigen Edition von Ludwig Heinrich Jakobs Preisschrift Quelles sont les institutions les plus propres a fonder la morale d'un peuple
A Communication Ethic of Dialogic Reformation
Nicholas of Cusa on Care for Communities in Crisis
Volume 106
Ambiguum 10 of Maximus the Confessor in Modern Study
Papers collected on the Occasion of the Budapest Colloquium on Saint Maximus, 3-4 February 2021
Volume 97
Care in an Era of New Technologies and Artificial Intelligence
Relationships in a Connected World
Volume 14
Creation Concepts and Creation Care
Perspectives from Early Judaism, Early Christianity, and Beyond. Kontexte und Normen neutestamentlicher Ethik / Contexts and Norms of New Testament Ethics XVII
Discerning Religious Truth
A Didactic Exposition of the Logic and Epistemology of the Islamic Sciences
Volume 1
Embodied Meaning and Integration
Overcoming the Abstracted Grip on Meaning in Theory and Practice (Volume IV)
Evolutionary Theory and Education
The Influence of Evolutionary Thinking on Educational Theory and Philosophy
Volume 5
Journal of Byzantine Studies, Vol. 74/2024 / Jahrbuch der Osterreichischen Byzantinistik,Band 74/2024
Latin America Replies to Transhumanism
A Symposium on Sorgner’s We Have Always Been Cyborgs
Volume 1
Liberating the Repressed Self among Contemporary Chinese
A Theoretical Study Involving Tu Weiming and Jürgen Moltmann
Volume 41
Occasionalism Revisited
New Essays from the Islamic and Western Philosophical Traditions (2nd ed.)
Volume 2
