「The Code of Mathematics筆記」修訂間的差異
跳至導覽
跳至搜尋
Tankianting（討論 | 貢獻） （建立內容為「{{isbn|3662694824}} Stefan Müller-Stach著 這是引介數學與邏輯學關係的書，但是不簡單，我猜數學系的會比較好讀。 主要講一些…」的新頁面） |
Tankianting（討論 | 貢獻） |
||
| 行 1： | 行 1： | ||
{{Nav}} | |||
{{isbn|3662694824}} Stefan Müller-Stach著 | {{isbn|3662694824}} Stefan Müller-Stach著 | ||
| 行 12： | 行 14： | ||
*有些程式無法停機，有些證明是不能完成。 | *有些程式無法停機，有些證明是不能完成。 | ||
* | * | ||
[[分類:數學]] | |||
[[分類:邏輯學]] | |||
於 2024年12月26日 (四) 21:22 的修訂
ISBN 3662694824 Stefan Müller-Stach著
這是引介數學與邏輯學關係的書，但是不簡單，我猜數學系的會比較好讀。
主要講一些數學在當今社會的用途、型別論、集合論、還有我看不懂的群論，還有一些邏輯學的東西。
聽一位會數學的朋友說：這本很難，引介一些新的數學的新發現的書。
一些隨手寫的筆記（序言筆記嗎）
- 證明是演繹系統的運算
- 有些程式無法停機，有些證明是不能完成。