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.
Théorie des nombres
En dehors de quelques fragments, les mathématiques de la Grèce antique nous sont connues soit par les rapports de non-mathématiciens contemporains ou à travers des œuvres mathématiques de la période hellénistique. Dans le cas de la théorie des nombres, cela inclus Platon et Euclide. Platon s'intéressait aux mathématiques et distinguait nettement l'arithmétique et le calcul. (Par arithmétique, il entendait la théorisation sur le nombre.) C'est à travers un des dialogues de Platon, "Théétète", que nous savons que Théodore a prouvé que formula_21 sont des nombres irrationnels. Théétète était, comme Platon, un disciple de Théodore; il a travaillé sur la distinction des différents types de commensurabilité, et était donc sans doute un pionnier dans l'étude des systèmes numériques.