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.