实验数学

实验数学是数学研究的一种方法，其核心在于利用计算手段来考察数学对象，进而发现其性质与规律。该学科被定义为数学的一个分支，致力于通过实验性的探索（无论是在伽利略、培根、亚里士多德还是康德意义上的实验）—来研究猜想与非正式信念，并通过对所得数据的严谨分析，最终实现数学界内部洞察力的系统化与传播。

正如保罗·哈尔莫斯所言：“数学是一门演绎科学，这不过是陈词滥调。当你尝试证明一个定理时，并非仅仅列出假设然后开始推导。你所做的是反复试验、实验与猜测。你试图探寻事实真相，就此而言，你的工作与实验室技术员的日常实践颇为相似。”

参见

• 波尔文积分
• 電腦協助證明

参考文献