Sciences grecques
Euclide (325 à 265 av. J.-C.) est l'auteur des "Éléments" (Στοιχεία), qui sont considérés comme l'un des textes fondateurs des mathématiques modernes. Ses postulats, comme celui nommé le « postulat d'Euclide », que l'on exprime de nos jours en affirmant que « par un point pris hors d'une droite il passe une et une seule parallèle à cette droite » sont à la base de la géométrie systématisée. C'est avec Euclide que la preuve mathématique apparaît comme une composante intrinsèque de la pensée. On notera aussi que les mathématiques grecques sont avant tout de la géométrie et de l'arithmétique. Sur les treize livres des "Éléments", qui constituent une somme des connaissances mathématiques de l'époque, neuf sont consacrés à la géométrie et quatre à l'arithmétique. Il est donc essentiel de comprendre que, pour les Grecs, le calcul ne fait pas partie des mathématiques. C'est l'affaire des comptables — les « logisticiens » suivant le mot grec — et les Grecs sont d'ailleurs de très piètres calculateurs. Le calcul sera avec l'algèbre l'une des grandes avancées des mathématiques arabes.
Jean Cavaillès
Son œuvre sur les fondements des mathématiques est le fruit d'une collaboration étroite avec les grands mathématiciens qui ont été ses contemporains, Emmy Noether au premier chef. Inachevée, elle est éditée après guerre grâce à ses amis Claude Chevalley, Charles Ehresmann et Georges Canguilhem. En montrant l'évolution des mathématiques comme une dynamique sans cesse renouvelée issue des seuls axiomes qu'elles se donnent elles-mêmes et leurs limites intrinsèques, elle acte l'incomplétude de toute axiomatique et libère les mathématiques fondamentales des aprioris qui ont conduit à la crise des paradoxes. Tout en annonçant vingt cinq ans à l'avance, à travers ce qu'il appelle la « thématisation », le dépassement des partis pris de ses camarades du groupe Bourbaki, Jean Cavaillès aura eu, de façon plus critique que son élève et ami Albert Lautman, un impact déterminant sur la recherche développée au sein de l'École normale et du Collège de France à partir de la notion héritée d'Emil Artin de mathématiques structurales.