Ce cours n'existe plus. A la place j'enseigne le cours de programmation 2 et je vous invite vous y reporter.
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 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.