Ilmu formal

Sejumlah disiplin lain dalam ilmu formal sangat bergantung pada matematika, mereka tidak muncul hingga matematika berkembang menjadi level tingkat tinggi. Pierre de Fermat dan Blaise Pascal (1654), serta Christiaan Huygens (1657) memulai studi awal mengenai teori probabilitas. Di awal abad ke 19, Carl Friedrich Gauss dan Pierre-Simon Laplace mengembangkan teori matematika statistika yang juga menjelaskan penggunaan statistika dalam asuransi dan akuntansi di pemerintahan.