作者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