Les maths à la base de toutes les sciences ? J'allais dire que se serait plutôt la philo mais on va me dire que je fais de la propagande, d'une part on a vu beaucoup de philosophe briller en mathématique ( Descartes, Pascal, Leibniz, Frege, Russell,... ) mais non l'inverse, on peut citer Poincaré ou Hilbert ( et d'autre ) mais il s'agit plus d'épistémologie que de philosophie à proprement parler.
Pour les grecs, les philosophes se devaient d'être généralistes, d'essayer de comprendre au mieux leur environnement, c'est à dire les sciences classiques, mais aussi la philosophie.
Cette état de chose s'est perduré pendant très très longtemps, et les quelques noms que tu as cité en sont les dignes héritiers.
Aujourd'hui, les philosophes existent encore, mais ils ne s'occupent plus d'essayer d'expliquer le monde (Je pense que le dernier qui avait essayé avait tenté de démonter une des théories d'Einstein, hum ... à vérifier), et finalement ne servent plus tellement à grand chose.
^^ maintenant, ce sont directement les scientifiques qui essayent de se baser sur un formalisme scientifique pour en tirer quelque chose de philosophique.
De plus tu confonds le terme "formaliser" et "mathématiser" si je dis pour tout x il existe un x qui remplit telle condition ( la flemme de trouver les symboles idoines ), je ne fais qu'une simple formalisation, on entre pas forcément directement dans les mathématiques dés qu'on voit un "x".
C'est pas faux ^^ pour moi les maths, c'est :
-On crée des objets mathématiques
=>(Polygones, matrices, fonctions, etc ...)
-On trouve des propriétés et des définitions amusantes (c'est relatif
) grâce à des assertions
=>Aire ou périmètre des polygones, convergence, continuité, croissance de fonctions, etc ...
-Nos amis les physiciens se régalent à leur trouver une utilité