Ilmu formal: Perbedaan antara revisi

{{sainsIlmu|cTopic=formal}}

'''Ilmu formal''' adalah disiplin yang terkait dengan [[sistem formal]] seperti [[logika]], [[matematika]], [[statistika]], [[ilmu komputer teoritisteoretis]], [[teori informasi]], [[teori permainan]], [[teori sistem]], [[teori pengambilan keputusan]], dan [[linguistika]].

Ketika [[ilmu alam]] dan ilmu lainnya seperti [[ilmu sosial]], [[ilmu perilaku]], dan [[ilmu kognitif]] yang mencari [[teori ilmiah]] dengan mengandalkan pengamatan yang bertujuan memprediksi secara tepat dan akurat untuk menjelaskan fenomena eksternal dunia, ilmu formal bekerja dengan sifat internal dari [[sistem formal]], terutama [[definisi]] dari suatu istilah dan [[Peraturan kesimpulan|peraturan yang mengatur suatu kesimpulan]].

Selain matematika, [[logika]] adalah salah satu contoh subjek pengetahuan tertua dalam bidang ilmu formal. Seperti analisis eksplisit dari metode pertimbangan, logika terbangun di tiga tempat, yaitu [[Logika India]] dari abad ke enam sebelum masehi, [[Logika Cina]] dari abad ke lima sebeum masehi, dan Yunani kuno dari abad ke empat sebelum masehi. Pengolahan logika modern secara formal diturunkan dari budaya Yunani kuno, dituliskan melalui [[Logika Aristotelian]], yang lalu dikembangkan lebih jauh oleh [[Logika dalam filosofi Islam|pakar logika Islam]].

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.

Di pertengahan abad ke 20, matematika berkembang dengan munculnya [[ilmu matematika]] dan disiplin teknik seperti [[riset operasi]] dan [[teknik sistem]]. Ilmu mengambil keuntungan dari penelitian dasar di bidang [[teknik listrik|kelistrikan]] yang lalu berkembang [[komputer]]. Kemajuan ini juga mengembangkan [[teori informasi]], [[analisis numerik]], [[komputasional ilmiah]], dan [[ilmu komputer teoritisteoretis]]. Ilmu komputer teoritisteoretis juga berkembang dari [[logika matematika]], yang masuk ke dalam [[teori komputasi]]

[[Kategori:Ilmu formal|F ]]