Résumé

Au sujet de la logique, l'imaginaire du profane (voire celui du mathématicien) est empli d'entités métaphysiques («formalisme», «idéalisme», «intuition», «rigueur», ...) qui se livrent à des combats mythiques.
Nous essaierons d'éclaircir certains points, y compris la nature de la logique mathématique, au risque de ternir quelques illusions traditionnelles et lénitives.
On évoquera aussi les rapports avec l'enseignement des mathématiques.

Adresse

Université Paris Diderot Paris 7
175 rue du Chevaleret
75013 Paris

Intervenant

Daniel Lacombe

Professeur honoraire Université Paris Diderot Paris 7