An Introduction to Proof Theory Normalization, Cut-Elimination, and Consistency Proofs
Edition: Oxford University Press
- en
- Broché
- 9780192895943
- 17 août 2021
- 432 pages
Résumé
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic (and arithmetic), natural deduction and the normalization theorems (for both NJ and NK), the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these results. The second half examines ordinal proof theory, specifically Gentzen's consistency proof for first-order Peano Arithmetic. The theory of ordinal notations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is presumed. The proof methods needed to establish proof-theoretic results, especially proof by induction, are introduced in stages throughout the text. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area of mathematical logic and the philosophy of mathematics.
Spécifications produit
Contenu
- Langue
- en
- Binding
- Broché
- Date de sortie initiale
- 17 août 2021
- Nombre de pages
- 432
Personnes impliquées
- Auteur principal
- Paolo Mancosu
- Deuxième auteur
- Sergio Galvan
- Editeur principal
- Oxford University Press
Informations sur le fabricant
- Informations sur le fabricant
- Les informations du fabricant ne sont actuellement pas disponibles
Autres spécifications
- Hauteur de l'emballage
- 235 mm
- Hauteur du produit
- 235 mm
- Largeur d'emballage
- 155 mm
- Largeur du produit
- 155 mm
- Livre d‘étude
- Oui
- Longueur d'emballage
- 23 mm
- Longueur du produit
- 23 mm
- Poids de l'emballage
- 654 g
EAN
- EAN
- 9780192895943
Sécurité des produits
-
Opérateur économique responsable dans l’UE
Info-bulle
Opérateur économique responsable dans l’UE
L'opérateur économique responsable dans l'UE veille au respect des obligations en matière de sécurité des produits. - Afficher les données
Vous trouverez cet article :
- Catégories
- Disponibilité
- Disponible à l'adresse suivante
- Langue
- Anglais
- Livre, ebook ou livre audio ?
- Livre
Livraison
Nous mettons tout en oeuvre pour livrer cet article à temps. Des circonstances exceptionnelles peuvent toutefois retarder votre colis.
Options de livraison
Différentes options s'offrent à vous pour la livraison ou le retrait de votre commande. Les options exactes disponibles pour cette commande sont visibles lors du paiement.
- Livraison comprise avec bol
- Retrait possible dans un point-relais bol
- 30 jours de réflexion et retour gratuit
- Garantie légale via bol
- Service client 24h/24
D'autres ont aussi regardé
-
![]()
On Life€20,43Livraison
Nous mettons tout en oeuvre pour livrer cet article à temps. Des circonstances exceptionnelles peuvent toutefois retarder votre colis.
Options de livraison
Différentes options s'offrent à vous pour la livraison ou le retrait de votre commande. Les options exactes disponibles pour cette commande sont visibles lors du paiement.
Signaler cet article
Vous souhaitez signaler un contenu illégal, comme un article dangereux, illégal ou un contenu trompeur.
- Je souhaite faire un signalement en tant que client.
- Je veux faire un signalement en tant qu'autorité ou personne de confiance.
- Je veux faire un signalement en tant que propriétaire de partenaire
- Je veux faire un signalement en tant que propriétaire de marque
Vous n'êtes pas un client, une autorité, personne de confiance, propriétaire de marque ou un partenaire? Dans ce cas, utilisez le formulaire client (via le bouton ci-dessous) pour effectuer un signalement.