README.md

Logique

Livre & vidéos

• Vous pouvez télécharger le livre sur ce site : Livre 'Logique' (pdf).
• Des vidéos seront prochainement disponibles !

Chapitres

Partie I - Logique vrai/faux

• Logique vrai/faux
• Preuves
• Quels connecteurs sont utiles ?
• Théorème de compacité

Partie II - Logique du premier ordre

• Logique du premier ordre
• Variables et structures
• Satisfaction
• Preuves
• Théorème de validité
• Théorème de complétude
• Preuve du théorème de complétude

Partie III - L'incomplétude de Gödel

• Un aperçu de l'incomplétude de Gödel
• Arithmétique de Peano
• Codage de Gödel
• Fonctions récursives primitives
• Fonctions représentables
• Diagonalisation
• Preuve du théorème d'incomplétude
• Le second théorème d'incomplétude

Sources

Vous trouverez les fichiers sources en naviguant dans les répertoires de GitHub "Logique".

Erreurs

Merci de signaler toutes les éventuelles fautes (de logique, de mathématiques, d'orthographe).

Auteur

Arnaud Bodin

Je remercie Stéphanie Bodin et Michel Bodin pour leurs relectures.

Ce livre est diffusé sous la licence Creative Commons -- BY-NC-SA -- 4.0 FR.