Cours de logique de Licence de l'ENS de Lyon (2006-2007)


Ce cours est assuré par Pierre Lescanne assisté de Philippe Audebaud et Damien Pous .

J'utilise la vidéoprojection

Ce cours parlera de théorie de la démonstration, de calcul symbolique et de sémantique.

Cours 2007

Divers

Les transparents de 05-06 et le poly 2004 non remis à jour.

L'examen final 2006 et son corrigé (il s'agit d'une nouvelle version du 26 janvier, la précédente comportait des petites fautes...)

Quelques lectures

Quelques biographies: Hilbert, Church 1 2, Curry, Turing, Russel, Heyting, Brouwer, Kolmogorov, Gentzen

Un article de Jean-Yves Girard.

Deux articles de Wadler sur la correspondance de Curry-Howard.

Un article de Douglas Bridges, paru dans le bulletin de l'EATCS sur ce qu'est la réalité en mathématique. This article introduces three of the twentieth century's main philosophies of mathematics and argues that of those three, one describes mathematical reality, the reality of the other two being virtual.


Pierre Lescanne
Last modified: Wed Jan 31 17:19:30 CET 2007