楼主:
testSV (喔喔喔喔喔)
2015-09-06 21:07:37讲到1+1=2
大部分的人会推math板上面#0-7-C1CF 这篇
但是那篇好像有用到一些集合论的公理
所以才有办法在10几页的篇幅内证明1+1=2
(如果可以接受Peano公理証明会更短 大概一页就够了)
Russell 和 他老师编的Principia Mathematica
在花了300页左右进行基础的定义
才开始证明1+1=2
http://i.imgur.com/xuBa5KQ.png
详细可以参考wiki
https://goo.gl/ahfTs5
看完这300页 数学功力会大增吗???
有没有300页版本的1+1=2的八卦???
作者:
loa123 (撕裂地中海)
2015-09-06 21:08:00你们到底是在练逻辑还是玩公式 时间很多?
作者:
felgher (乡民都跟我进来看热闹)
2015-09-06 21:09:00真正看完原本罗素版本的人超级少好吗.....不过他的价值在于这篇是现代数学/哲学界的里程碑
作者: okletgo (okletgo) 2015-09-06 21:10:00
只会打击信心 因为第一页就看不懂了
不知道有什么好证明的 就一个 两个 三个 四个一个 再一个 就两个
作者:
loa123 (撕裂地中海)
2015-09-06 21:11:00不是文组就不能肚烂数学?
作者: ogisun 2015-09-06 21:11:00
数学就是要逻辑严谨阿 不然要怎么撑得起其他科学
皮亚诺是已经在形式逻辑的基础上工作了，所以很快。罗素没有要证明1+1等于多少，他只是想定义常用的东西可能，因为那是哥德尔不完备定理的前提。但是又没有意义哥德尔不完备定理又不会咬人，他不代表形式系统的缺陷当你运算2-4的时候，你会说正整数是有缺陷的吗？不会吧哥德尔不完备定理就和减法是一样的。那只是一个定理。不过在中文上，“不完备”这三个字听起来好像有贬意…就像“测不准”这三个字也常常让很多人产生不好的印象