数学是科学吗？

德国数学家Carl FriedrichGauss将数学称为“科学女王”。最近，Marcus du Sautoy称数学为“科学女王......科学发现背后的主要驱动力”。在最初的拉丁语Regina Scientiarum以及德语Königinder Wissenschaften中，对应于科学的词语意为“知识领域”，这也是英语中“科学”的原始含义;数学在这个意义上是一个知识领域。限制“科学”对自然科学的意义的专业化遵循培根科学的兴起，将“自然科学”与经院哲学进行对比，亚里士多德方法从第一原理探究。与生物学，化学或物理学等自然科学相比，数学中的经验实验和观察的作用可以忽略不计。Albert Einstein说：“就数学定律而言，它们指的是现实，它们并不确定;只要它们是确定的，它们就不是指现实。”

许多哲学家认为，数学不是实验上可证伪的，因此根据Karl Popper的定义，它不是一门科学。然而，在20世纪30年代，哥德尔不完备性定理说服了许多数学家，数学不能单独归结为逻辑，而KarlPopper得出的结论是“大多数数学理论都像物理学和生物学那样，假设 - 演绎：纯粹的数学因此转向更接近于假设是猜想的自然科学，而不是最近似乎也是如此。“其他思想家，特别是Imre Lakatos，已经将证伪主义的一种形式应用于数学本身。

另一种观点认为，某些科学领域（如理论物理学）是具有公理的数学，旨在与现实相对应。数学与物理科学中的许多领域有很多共同之处，特别是对假设的逻辑结果的探索。直觉和实验也在数学和（其他）科学中猜想的形成中发挥作用。实验数学在数学中的重要性不断增加，计算和模拟在科学和数学中都发挥着越来越大的作用。

数学家对这个问题的看法是多种多样的。许多数学家认为，称他们所在地区的科学是淡化其审美方面的重要性，以及它在传统七种文科中的历史;其他人觉得忽略它与科学的联系，就是对数学与其在科学和工程中的应用之间的界面推动数学发展的事实视而不见。这种观点差异的一种方式是关于数学是创造（如艺术）还是发现（如科学）的哲学辩论。通常看到大学分为几个部分，其中包括科学和数学的划分，表明这些领域被视为联盟，但它们并不重合。在实践中，数学家通常与总体水平的科学家分组，但在更精细的水平上分开。这是数学哲学中考虑的众多问题之一。