作者tonyian (猪仔)
看板logic
标题Re: 吵架专用的悖论
时间Tue May 6 13:02:12 2008
刚刚看了一长串
我只是突然想到(一点不想牵扯进去XD)
罗素驳论不就定义了自我指涉的句子无法用逻辑学解决(目前的)
我印象中(两三礼拜前)
我老师说了 目前数学家在写定义或陈述都会避开自我指涉
因为这目前无法解决 有时运气好不会有问题 有时运气不好
~~~~
会产生X既是属於某集合又等於某集合
PS: 我是数学系
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.119.66.49
1F：推 somedoubt:你们老师大概不知道数学家所谓的最小上界也是个自我指涉 05/06 13:04
2F：→ somedoubt:概念吧？？ 05/06 13:05
3F：→ tonyian:有时运气好不会出问题 最小上界有出问题? 05/06 13:12
4F：推 somedoubt:印象中没有，但对角化论证反倒使用自我指涉导致矛盾 05/06 13:36
5F：→ somedoubt:这样的手法来证明其结论成立。 05/06 13:37
6F：→ yauhh:可是哥德尔一讲了他的东西,罗素就没话讲了 05/06 21:20
7F：推 MicroB:Godel说了什麽呀? 05/08 07:05
8F：→ tonyian:对阿~楼上的 哥德尔说了啥 05/08 07:26