Histoire des sciences
Les Grecs sont considérés comme les fondateurs des mathématiques car ils ont inventé ce qui en fait l'essence même : la démonstration. Thalès est parfois considéré comme le premier philosophe qui a eu l'idée de raisonner sur les êtres mathématiques en eux-mêmes, sans plus s'aider de figures empiriques. L'arrivée de la preuve mathématique est certainement liée à l'installation de la démocratie et à la nécessité de démontrer la véracité de son discours, mais c'est avec Euclide qu'elle apparaît comme une composante intrinsèque de la pensée mathématique. On notera aussi que les mathématiques grecques font avant tout de la géométrie et de l'arithmétique ; sur les treize livres des "Éléments" d'Euclide, qui constituent une somme des connaissances mathématiques du , neuf sont consacrés à la géométrie et quatre à l'arithmétique.
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.