Self-Reference and Modal Logic - Craig Smorynski
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreSoyez informé(e) par e-mail dès l'arrivée de cet article
Créer une alerte prix
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Self - Reference And Modal Logic de Craig Smorynski Format Broché - Livre Littérature Générale
0 avis sur Self - Reference And Modal Logic de Craig Smorynski Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Self - Reference And Modal Logic de Craig Smorynski Format Broché
- Livre Littérature Générale
Sommaire:
0. Introduction.- 1. The Incompleteness Theorems.- 2. Self-Reference.- 3. Things to Come.- 4. The Theory PRA.- 5. Encoding Syntax in PRA.- 6. Additional Arithmetic Prerequisites.- I. The Logic of Provability.- 1. Provability as Modality.- 2. Modal Model Theory.- 3. Arithmetic Interpretations of PRL.- II. Multi-Modal Logic and Self-Reference.- 4. Bi-Modal Logics and Their Arithmetic Interpretations.- 5. Fixed Point Algebras.- III. Non-Extensional Self-Reference.- 6. Rosser Sentences.- 7. An Ubiquitous Fixed Point Calculation.