Introduction à la théorie de la démonstration
Introduction à la théorie de la démonstration
Élimination des coupures, normalisation et preuves de cohérence
Mancosu, Paolo  
Galvan, Sergio  
Zach, Richard  
Aggoune, Yacine (Traduit par) 
Appadourai, David (Traduit par) 
Rolland, Agathe (Traduit par) 
  • Éditeur : Vrin
  • Collection : Mathesis
  • EAN : 9782711630912
  • Code Dimedia : 000230850
  • Format : Broché
  • Thème(s) : SCIENCES HUMAINES & SOCIALES
  • Sujet(s) : Philosophie
  • Pages : 588
  • Prix : 71,95 $
  • Paru le 20 février 2023
  • Statut : Disponible
  • Code de recherche: INTTHD
  • Groupe: Philosophie
  • Date de l'office: 15 février 2023
  • Langue d'origine: anglais
  • Moins d'informations...
EAN: 9782711630912

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.

AUTEUR(S)

Traduction de Y. Aggoune, D. Appadourai et A. Rolland, révisée par D. Waszek.




NB : Les prix indiqués sont sujets à changements sans préavis.