2,708
次編輯
「The Code of Mathematics筆記」修訂間的差異
跳至導覽
跳至搜尋
→一些隨手寫的筆記（序言筆記嗎）
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 9： | 行 9： | ||
聽一位會數學的朋友說：這本很難，引介一些新的數學的新發現的書。 | 聽一位會數學的朋友說：這本很難，引介一些新的數學的新發現的書。 | ||
== | ==一些隨手寫的筆記（序言筆記？）== | ||
*證明是演繹系統的運算 | *證明是演繹系統的運算 | ||
*有些程式無法停機，有些證明是不能完成。 | *有些程式無法停機，有些證明是不能完成。 | ||
* | *如何定義真？語義在數學扮演什麼角色？ | ||
*決定性問題/非決定問題->Yes/No（哥德爾編碼）->停機問題 | |||
*Tarski、形式物件語言、公理化集合論 | |||
* Truth等於可證明性嗎？ | |||
* undecidible，不可證明是恆真的。 | |||
[[分類:數學]] | [[分類:數學]] | ||
[[分類:邏輯學]] | [[分類:邏輯學]] | ||