Cette brochure contient le texte d’une conférence donnée lors de la séance du 30 novembre 1992 du « Séminaire de philosophie et mathématiques ».
Ce que l’auteur considère comme nouvelles orientations en philosophie des mathématiques est : au lieu d’établir comme premier problème principal les fondations des maths, nous pouvons nous concentrer plutôt sur ce que nous apprenons et comprenons à partir des résultats de la logique mathématique (au sens large). L’aspect fondamental de la philosophie des mathématiques était d’obtenir une seule théorie formulée dans un langage bien défini, avec des axiomes au départ et l’obtention de conséquences par des moyens purement logiques.
[.]
Cependant dans les derniers 60 ans, approximativement, une grande quantité de résultats nouveaux ont été trouvés, quelques-uns de caractère plus technique, et beaucoup qui exigent une réelle compréhension et interprétation.