看板 logic 關於我們 聯絡資訊
剛剛看了一長串 我只是突然想到(一點不想牽扯進去XD) 羅素駁論不就定義了自我指涉的句子無法用邏輯學解決(目前的) 我印象中(兩三禮拜前) 我老師說了 目前數學家在寫定義或陳述都會避開自我指涉 因為這目前無法解決 有時運氣好不會有問題 有時運氣不好 ~~~~ 會產生X既是屬於某集合又等於某集合 PS: 我是數學系 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.119.66.49
somedoubt:你們老師大概不知道數學家所謂的最小上界也是個自我指涉 05/06 13:04
somedoubt:概念吧?? 05/06 13:05
tonyian:有時運氣好不會出問題 最小上界有出問題? 05/06 13:12
somedoubt:印象中沒有,但對角化論證反倒使用自我指涉導致矛盾 05/06 13:36
somedoubt:這樣的手法來證明其結論成立。 05/06 13:37
yauhh:可是哥德爾一講了他的東西,羅素就沒話講了 05/06 21:20
MicroB:Godel說了什麼呀? 05/08 07:05
tonyian:對阿~樓上的 哥德爾說了啥 05/08 07:26