形式科学
中国流の論理学は、中世においてインド流論理学が採用され生き残れなかった。
形式科学の他の多くの分野は、数学に頼る側面の大きいため、数学が比較的高度に発達するまで存在しなかった。ピエール・フェルマー、ブレーズ・パスカル、クリスティアーン・ホイヘンスは確率論を創始した。
1800年代始めに、カール・ガウス、ピエール・ラプラスは、保険と政府会計における統計の利用を説明する数理統計学を発展させた。数理統計学は、20世紀始めに数学の一分野として認識される。
20世紀中頃に、新たな数理科学とオペレーショナル・リサーチやシステム工学といった工学の分野の隆盛によって、数学は拡大し豊かになった。これらの科学は、情報理論、数値解析(科学技術計算)、理論計算機科学、を刺激した電子コンピュータの発展とその基礎となる電子工学な研究に資した。また、理論計算機科学は計算理論を含む数理論理学に資した。