•  Retrait gratuit dans votre magasin Club
  •  7.000.000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  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

Paolo Mancosu, Sergio Galvan, Richard Zach
Livre broché | Français
38,00 €
+ 76 points
Livraison 1 à 4 semaines
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

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

Caractéristiques

EAN:
9782711630912
Date de parution :
13-12-22
Format:
Livre broché
Format numérique:
Trade paperback (VS)
Dimensions :
140 mm x 220 mm
Poids :
801 g

Les avis

Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.