- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Introduction à la théorie de la démonstration
Élimination des coupures, normalisation et preuves de cohérence
Sergio Galvan, Paolo Mancosu, Richard Zach
38,00 €
+ 76 points
Description
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.
Spécifications
Parties prenantes
- Auteur(s) :
- Traducteur(s):
- Editeur:
Contenu
- Nombre de pages :
- 588
- Langue:
- Français
- Collection :
Caractéristiques
- EAN:
- 9782711630912
- Date de parution :
- 15-12-22
- Format:
- Livre broché
- Format numérique:
- Paperback (DE)
- Dimensions :
- 135 mm x 215 mm
- Poids :
- 800 g
Seulement chez Librairie Club
+ 76 points sur votre carte client de Librairie Club
Cadeau
Cadeau
Les avis
Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.