评论详情页
杨正瓴
赞
+1

数学是研究可能世界的学问。
在某些条件(公理系统)下,可以得到某些结论(定理)。证明是这里的逻辑一致性。
换个前提,就可以得到完全不同的结论:
《什么是“证明” The definition of Proof》
http://bbs.sciencenet.cn/blog-107667-221874.html
《什么是“完全的数学证明”?》
http://bbs.sciencenet.cn/thread-83926-1-1.html
2012-07-28 21:46
在某些条件(公理系统)下,可以得到某些结论(定理)。证明是这里的逻辑一致性。
换个前提,就可以得到完全不同的结论:
《什么是“证明” The definition of Proof》
http://bbs.sciencenet.cn/blog-107667-221874.html
《什么是“完全的数学证明”?》
http://bbs.sciencenet.cn/thread-83926-1-1.html
全部回复1 条回复