Logique mathématique

[Ré-]Organisation permanente

  • Covid-stuff: n'oubliez pas de vous inscrire sur les listes papier face au bureau d'Amélie.
  • Cours : le mardi 10h15-12h, le vendredi 17h15-19h, d'ici peu nous saurons comment,
    sauf les vendredis 13 et 27 novembre.
  • Partiel : à voir.
  • Examen final : semaine du 11 au 15 janvier 2021.

Notes de cours

  • N'imprimez pas trop hâtivement ! J'essaierai de réviser les leçons au fur et à mesure et de poster des chapitres entiers.
  • Merci de me faire parvenir vos remarques, commentaires, critiques (même si vous ne suivez pas le cours, même si vous êtes ici par hasard).
  • Les TD sont sur la page de Gabriel.
Chapitre 1 | Chapitre 2 |Leçon 9

Foire aux questions

Sur une page dédiée.
Principe : vous posez vos questions (bureau, email, etc.) ; je posterai les meilleures avec une réponse. Je me réserve bien sûr le droit de ne pas répondre.

Sélection musicale

(Vos suggestions sont d'ailleurs les bienvenues.)

Bibliographie

Aucun livre ne couvre l'intégralité du cours. On peut s'en sortir par une approche pointilliste.

Références générales conseillées :

  • René Cori et Daniel Lascar : Logique mathématique. Chez Dunod. Deux tomes (Réédition d'un texte paru chez Masson.)
    Ouvrage de référence en langue française, très introductif. Solides éléments de théorie de la démonstration, des modèles, et d'incomplétude.
  • Enderton : A Mathematical Introduction to Logic. Chez Academic Press.
    Très bien écrit. Logique propositionnelle, du premier ordre, du deuxième ordre, indécidabilité de Peano sont extrêmement bien traitées. Mais ni théorie des modèles ni théorie des ensembles.
  • Shoenfield : Mathematical Logic.
    L'ouvrage aborde la logique du premier ordre, la théorie des modèles qui y est fort bien expliquée, la théorie des ensembles et l'arithmétique de Peano ; on peut l'utiliser en complément du livre de David-Nour-Raffalli (v. plus tard).
  • Enfin on consultera toujours avec profit la Stanford Encylopedia of Philosophy, assez pointue sur les sujets mathématiques.

Ouvrages déconseillés :

  • Mendelson : Introduction to Mathematical Logic. D. Van Nostrand Company.
    Laborieux, noyé dans la syntaxe, illisible : ce qu'on appelle mal vieillir (du moins la copie de 1964). Il n'y a pas de théorie des modèles, mais l'incomplétude et la théorie des ensembles sont traitées de sorte qu'on aurait préféré les voir épargner.
  • Quine : Mathematical Logic. Harvard University Press.
    Sans en minimiser l'influence historique, on peut laisser cet ouvrage sur les rayons.
  • Kleene : v. Quine.
  • Smullyan : divers titres.
    Pour n'y rien comprendre.
Enfin si vous voulez un avis péremptoire sur un livre en particulier, n'hésitez pas à m'écrire.

Bibliothèque du cours de logique mathématique

La bibliothèque est accessible sur mot de passe.