看板 [ Math ]
討論串[其他] 為真但不可證的簡單例子？
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[其他] 為真但不可證的簡單例子？
推噓5(5推 0噓 11→)留言16則，0人參與, 3年前最新作者dharma (達)時間3年前 (2021/02/18 22:07), 編輯資訊
1
0
0
內容預覽:
哥德爾告訴我們. 「真」與「可證」是兩個概念。可證的一定是真的，但真的不一定可證. 為真，但不可證. 有比較簡單的例子嗎？. thanks. --. ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 107.161.88.23 (美國). ※ 文章網址: https://www.ptt.cc/b
#2
Re: [其他] 為真但不可證的簡單例子？
推噓1(1推 0噓 0→)留言1則，0人參與, 3年前最新作者RicciCurvatu (黎奇曲率5566)時間3年前 (2021/03/14 03:59), 編輯資訊
0
0
0
內容預覽:
這個問題一開始就不應該這樣問. 你應該先弄懂所謂“可證”的含義為何. 現代數學的基礎 都開始於一連串的假設. 可由假設推導出的結果 才成為可證. 例如. 假設: 所有馬都是黑的， 傑克是一隻馬. 基於這個假設 可以證明傑克是黑的. 同理 “傑克是白的”這句話 基於我們的假設. 可以證明他是錯的. 那
(還有307個字)
首頁
上一頁
1
下一頁
尾頁