Leibniz : Sans les mathématiques, on ne pénètre point au
fond de la philosophie. Sans la philosophie, on ne pénètre
point au fond des mathématiques. Sans les deux, on ne
pénètre au fond de rien.
Weil : Les lois non écrites de la mathématique moderne
interdisent de publier des vues métaphysiques de cette
espèce. Sans doute est-ce mieux ainsi ; autrement, on
serait accablé d'articles plus stupides, sinon plus inutiles,
que tous ceux qui encombrent à présents nos périodiques.
On parlera des principales philosophies des mathématiques
:
●Le platonisme mathématique (Bolzano, Frege, Cantor,
Russell, le mathématicien idéal ?)
●Le logicisme (Frege, Russell, Carnap)
●Le formalisme (Hilbert, Bourbaki, le mathématicien
contemporain ?)
●Le constructivisme ou intuitionnisme (Brouwer, Kronecker,
Poincaré, Weyl)
●Le quasi-empirisme (Lakatos, Putnam)