Sains formal dimulai sebelum perumusan metode ilmiah, teks matematika tanggal 1800 SM di Babel (Babilonia Matematika), 1600 SM di Mesir Kuno (Mesir Matematika), dan 1000 SM di India (Matematika India). Dari budaya yang berbeda, Yunani dan Matematika lahir Muslim yang memberikan kontribusi besar, sedangkan Cina Matematika dan Matematika Jepang berevolusi secara independen dari jauh dengan budaya mereka sendiri.
Sejumlah disiplin lain dalam ilmu formal yang sangat bergantung pada matematika, mereka tidak muncul untuk berkembang menjadi tingkat tinggi matematika. Pierre de Fermat dan Blaise Pascal (1654), dan Christiaan Huygens (1657) penelitian tentang teori sains. Pada awal abad ke-19, Carl Friedrich Gauss, dan Pierre-Simon Laplace mengembangkan teori matematika statistik yang juga menjelaskan penggunaan statistik dalam asuransi dan akuntansi dalam pemerintahan.
Selain matematika, logika adalah salah satu contoh tertua pengetahuan subjek di bidang ilmu formal. Seperti metode analisis eksplisit penalaran, logika terbangun di tiga lokasi, yaitu Logika India dari SM keenam abad, logika Cina sebeum abad kelima SM, dan orang-orang Yunani kuno abad keempat SM. Pengolahan logika formal modern berasal dari budaya Yunani kuno, yang ditulis oleh logika Aristoteles, yang kemudian dikembangkan lebih lanjut oleh ahli logika Islam.
Di pertengahan abad ke-20, matematika berkembang dengan munculnya matematika sains dan teknik disiplin ilmu seperti riset operasi dan rekayasa sistem. Ilmu mengambil keuntungan dari penelitian dasar di bidang pengembangan listrik dan komputer. Kemajuan ini juga mengembangkan teori informasi, analisis numerik, ilmu komputer, dan ilmu komputer teoritis. Teori ilmu komputer juga telah berevolusi dari logika matematika, yang masuk ke dalam teori komputasi.
Baca Juga :
