Sejarah matematika

Eudoxus (kira-kira 408 SM sampai 355 SM) mengembangkan metode kelelahan, sebuah rintisan dari Integral modern. Aristoteles (kira-kira 384 SM sampai 322 SM) mulai menulis hukum logika. Euklides (kira-kira 300 SM) adalah contoh terdini dari format yang masih digunakan oleh matematika saat ini, yaitu definisi, aksioma, teorema, dan bukti. Dia juga mengkaji kerucut. Bukunya, "Elemen", dikenal di segenap masyarakat terdidik di Barat hingga pertengahan abad ke-20. Selain teorema geometri yang terkenal, seperti teorem Pythagoras, "Elemen" menyertakan bukti bahwa akar kuadrat dari dua adalah irasional dan terdapat tak-hingga banyaknya bilangan prima. Saringan Eratosthenes (kira-kira 230 SM) digunakan untuk menemukan bilangan prima.