形式科学发展历史追溯到公元前1800年（巴比伦数学），公元前1600年（埃及数学）和公元前1000年（印度数学）最古老的数学教科书可以知道，形式科学比科学方法形成开始得早

此后，不同文化，如印度、希腊和伊斯兰数学家都对数学作出了重要贡献

而中国和日本则独立地发展自己的数学传统

除数学外，逻辑学是另一形式科学内的最古老科目，作为一种有理的清晰分析方法，逻辑学在三个地方原来就得到持久的发展：印度从公元前6世纪，中国在公元前5世纪，而希腊在公元前4世纪至公元前1世纪

希腊熟练处理现代逻辑的科学家是受到阿里斯多得学派逻辑（伊斯兰逻辑学者进一步发展）的影晌的

印度传统也连续到现代的早期

但中国的传统没能保存下来

其它形式科学的一些学科都很大依赖数学，但当数学已发展到相对进步时，它们还没出现

皮耶·德·费玛和布莱斯·帕斯卡（1654）和克里斯蒂安·惠更斯（1657）开始或然率理论的最早研究

1800年代早期，高斯和拉普拉斯发展了统计学的数学理论，它可以说明统计学在保险和管理机构财务方面的应用

20世纪认为数理统计学是数学学科

20世纪中，由于新的数学学科和工程学科如运算研究和系统工程的上升，数学得到扩充和丰富

这些科学由于电工程的基础研究而得益

也由于电子计算机的发展，也激励信息理论，数字分析（科学计算）和理论计算科学的发展

理论计算科学也由于数理逻辑，包括计算理论而得益

以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。