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.
Bernard Bolzano
Bernard Bolzano entre à l'université de Prague en 1796 et étudie les mathématiques, la philosophie et la physique. En 1800, il décide de devenir prêtre, contre l'avis de son père. Il le devient en 1804. Il enseigne alors les sciences de la religion à Prague et consacre le reste de son temps aux mathématiques. Ses travaux portèrent essentiellement sur les fonctions, la logique et la théorie des nombres. Il est considéré comme l'un des principaux contributeurs à la logique telle qu'elle est aujourd'hui établie.