Essai de philosophie des mathématiques

Les articles de ce recueil discutent les principes de la pensée mathématique qui ont fait le partage entre les trois fameuses options philosophiques : logicisme, formalisme et intuitionnisme. Leur auteur, Paul Bernays, fut un des plus proches collaborateurs de David Hilbert, qui a si profondément marqué de son empreinte les mathématiques du XXe siècle et la philosophie construite à leur sujet. Défenseur de l'infini, de la méthode axiomatique, des structures générales, des raisonnements abstraits, de la formalisation logique, Hilbert a investi une grande énergie pour ancrer ces audacieuses conquêtes sur le terrain balisé et contrôlable du fini, de l'intuitif, du concret, du constructible.
Les essais de Bernays sont un précieux guide pour mieux s'orienter dans la pensée logique et philosophique de Hilbert et se débarasser une bonne fois des préjugés hâtifs qui jalonnent les opinions ressassées sur le " formalisme ", le " finitisme ", le " platonisme ", etc. Mais ces essais nous découvrent aussi un penseur libre, parlant de sa propre voix. Sensible à la pluralité des approches possibles, assumant le risque de se rectifier sans cesse, mesuré dans sa visée d'une " certitude pratique " plutôt que d'une vérité absolue, Bernays défend l'idées que les mathématiques ne sont pas un réservoir de connaissance, mais une activité de l'esprit réagissant à des situations.