討論串[分享]科學史 (伍) 後現代數學狀況
共 7 篇文章
內容預覽:
論數學真理觀的後現代轉向. 作者：黃秦安. 【內容提要】在數學思想、內容與方法的歷史性變革過程中，數學真理的觀代性開始發生轉向，逐步表現出一些後現代特徵：數學真理從追求形而上學的目標與價值轉向追求相對的、多樣化的理論構建；數學真理是一個具有不同層次性和等級結構的開放體系；數學真理超越了自然真理的範疇
(還有11957個字)
內容預覽:
幫澄清. 這不是歌德爾不完備定理. 但是有關係. 一般稱為"diagonal lemma"或"diagonalization lemma". 內容大致上是這樣的. 在一個初階的算術語言中，對於任一個只有x是變元的式子F(x). 我們可以證明有一個這樣的句子P，P ←→ F("P"). 如果我們的語言
(還有605個字)
內容預覽:
我數學完全不行，所以上面這段也一知半解，. 但是藉此機會問一下。. 上面這些符號，我這邊做一些代換。. ~. 如果我們把小黑眼中看到的東西 視為"真的"，. 那麼我們似乎會承認:小黃是小黑眼中的小黃，. 然後再加上:小黃是"不在小黑眼中是小黃"的小黃. 就會得到，小黃(在小黑眼中不是小黃)等於小黃(
(還有441個字)
內容預覽:
在此先感謝一下d大能夠費心照顧像我這種數理低能的人，. 不知道d大的大作哪時候能讓小弟我一觀，好瞭解一下Godel的不完備定理。. 不過，由於小弟在推文也起了個頭，說一般哲學家常誤解Godel定理，. 在這裡，小弟必為我過於輕佻的言語道歉，正確來說，是不懂數理邏輯的哲學家. 和不用功的哲學家才會犯下
(還有1626個字)
內容預覽:
有點看不懂這一段的論述。. 不過我可以補充一下diagonalisation lemma 來說明語言無法給出真概念這部份。. (就是上面那段). 真的會出現矛盾, 不是因為「不完備性」, 哥德爾定理只證明了不完備性,. 並不是證明系統有矛盾。. 會出現矛盾, 是因為我們企圖用該語言來「定義」(cap
(還有202個字)