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
Drunk the Potion, No Whit Charmed
The Doctrine of Pure and Perfect Souls from Iamblichus to Damascius
Éthique, politique, religions
Superstition (XVIIe - XXIe siècles). Sémantique, histoires et cultures
La Lettre clandestine
La littérature philosophique clandestine, ses éditeurs et ses éditions
Volume 34
Libertinage et philosophie à l’époque classique (XVIe-XVIIIe siècle)
Athéisme, Modernité et Sécularisation / Atheism, Modernity and Secularization
Volume 23
Political Thought and Eleventh-Century Populism
The Meek, the Many, and the Meritorious during the Age of the Gregorian Reform
Volume 38
The Latin Hermes in Translation
Asclepius, Glosses on Trismegistus, Book of Six Principles of Things, Book of 24 Philosophers
Volume 50
‘Emergente Evolution’?
Fallstudien zur philosophischen Rekonstruktion und schopfungstheologischen Rezeption eines naturalistischen Paradigmas
Volume 40
Al-Ğābirīs Genese und Kritik der Arabischen Vernunft
On Genesis and Critique of Arab Reason by Muḥammed ʿĀbid al-Ğābirī
Geschichte der Ästhetik und Kunsttheorie
Band 1: Von der Antike bis zum 19. Jahrhundert. 2. aktualisierte Auflage
