看板 [ Marginalman ]
討論串[閒聊] Abby530424 你有沒有看過哥德爾不完備定理
共 5 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#5
Re: [閒聊] Abby530424 你有沒有看過哥德爾不完備定理
推噓0(0推 0噓 11→)留言11則，0人參與, 3年前最新作者fxfxxxfxx (愛麗絲)時間3年前 (2022/11/24 14:56), 編輯資訊
0
0
0
內容預覽:
看到AI自動證明才想起來. 不知道大家怎麼看這種在理論上就不可能完美解決、. 或是感覺就不可能會有有效率解法的問題的研究. 拿 SAT 問題來舉例好了，畢竟在自動定理證明裡也很常用到. SAT 是 NP-complete 問題，也就是說是現在沒人能有有效率的解法. 而且很可能這種解法就不存在. 但是
(還有302個字)
#4
Re: [閒聊] Abby530424 你有沒有看過哥德爾不完備定理
推噓3(3推 0噓 6→)留言9則，0人參與, 3年前最新作者Stella (司特菈)時間3年前 (2022/11/24 14:02), 編輯資訊
0
0
0
內容預覽:
認知科學的科學家好像都很喜歡哥德爾. 看他們的書動不動就拿他出來講. 比如侯世達、史蒂芬平克之類的. --. ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 101.137.169.137 (臺灣). ※ 文章網址: https://www.ptt.cc/bbs/Marginalman/M.1
#3
Re: [閒聊] Abby530424 你有沒有看過哥德爾不完備定理
推噓1(1推 0噓 28→)留言29則，0人參與, 3年前最新作者Abby530424 (亞斯卡雷)時間3年前 (2022/11/24 13:48), 編輯資訊
0
0
0
內容預覽:
我大約小學到國中的時候其實是數學起家. 就差一點 沒強到能參加數奧的那種. 是有聽過也有試圖了解過 就只知道皮毛的那種. 但後面我大約國中時. 讀到尼采《查》裡面的末人寓言. 就決定去讀哲學了 大概是這樣. 感覺跟懶學你學長殊途同歸= =. 歡迎大家加入哲學的懷抱. 畢業失業只能考公務員. --.
#2
Re: [閒聊] Abby530424 你有沒有看過哥德爾不完備定理
推噓1(1推 0噓 3→)留言4則，0人參與, 3年前最新作者fxfxxxfxx (愛麗絲)時間3年前 (2022/11/24 13:31), 編輯資訊
0
0
0
內容預覽:
恩..不知道這裡的非整數系統無法證明是什麼意思. 是指 statement 數量不可數的系統沒有哥德爾不完備定理嗎. 不過老實說，不可數的 statement 應該不怎麼實際吧. 畢竟你連把它作為文字寫下來都做不到(字串是可數的). 還有其實就算是關於整數的系統也不一定有哥德爾定理. 有一個條件是公
(還有262個字)
#1
[閒聊] Abby530424 你有沒有看過哥德爾不完備定理已回收
推噓1(1推 0噓 1→)留言2則，0人參與, 3年前最新作者PyTorch (打工主義倡議協會)時間3年前 (2022/11/24 13:07), 編輯資訊
0
0
0
內容預覽:
哥德爾不完備定理. 我覺得很美. 哥德爾牛批. 想出這麼美的東西. 我有一個學長 數學系的. 就是專研這方面. 他後來留下一句話 非整數系統無法證明. 後來就博班休學 看破紅塵出家了. 只是好奇這東西 有點像哲學. 不知道你有沒有接觸過. --. --. ※ 發信站: 批踢踢實業坊(ptt.cc),
首頁
上一頁
1
下一頁
尾頁