证明

一种严格的数学论证，它明确地证明了给定的命题一个数学陈述被证明是一种定理.

根据哈代（1999年，第15-16页）， “所有物理学家，以及许多相当受人尊敬的数学家，都对证明不屑一顾。例如，我听说爱丁顿教授坚持认为，正如纯粹数学家所理解的那样，证明真的很枯燥且不重要，任何一个真正确定自己找到了好东西的人都不应该浪费时间去寻找g作为证据。。。。我相信，几乎所有物理学家都会从心底里认同这种观点，这是一个数学家应该得到一些回答的观点。"

据报道，为了证明哈代的说法，费曼曾评论道：“已知的要比证实的多得多”（德比郡，2004年，第291页）。

数学家们对什么是证明有一些争论。这个四色定理就是这场辩论的一个例子，因为它的“证明”依赖于对许多个人进行详尽的计算机测试无法“手工”验证的案例。而许多数学家认为计算机辅助证明是有效的，而一些纯粹主义者则不然。有几台电脑目前正在开发的自动定理证明系统，其中，第OREM公司.

查尔默斯保留了一页与证据相关的幽默。