2,728
次編輯
「The Code of Mathematics筆記」修訂間的差異
跳至導覽
跳至搜尋
→Ch2 科學通用語言
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 161： | 行 161： | ||
Frege：「真實的東西，我認為是無法解釋的。」 | Frege：「真實的東西，我認為是無法解釋的。」 | ||
事物的名attribute和思想屬性有關，亦即真理。 | |||
真理的在思想陳述，而不在人的理解或真實。 | |||
思想不是外部世界的敘述，也不是idea，是第三個領域。 | |||
為什麼算數基礎提到康德、萊布尼茲、而非提到Fitcher | |||
黑格爾的德國唯心主義 | |||
Frege對唯心主義和Platoism柏拉圖主義都有懷疑態度。 | |||
萊布尼茲認識到，科學形上學必以deductive calculus 為基礎 | |||
「這句話是假的」悖論如何避免？ | |||
M元語言定義子語言L | |||
M中定義True(x) 即T(x) | |||
避開自我參照，減少矛盾 | |||
IsWhite(snow) <=> snow is White. | |||
在M有T(p) exactly when p̃(p轉換為元語言的形式） | |||
M:演繹系統（形式物件語言）ZF集合論與一階邏輯 | |||
L:Peano算數，與在集合論標準模型N的解釋 | |||
Tarsk's 真理不可定義性 | |||
undefiniability of truth | |||
子語言的不可判定語句（不可反駁） | |||
證明必須用更豐富的元語言證明 | |||
A=~A是第一個哥德爾不完備理論 | |||
[[分類:數學]] | [[分類:數學]] | ||
[[分類:邏輯學]] | [[分類:邏輯學]] | ||