4月
05
讀書筆記︰Gödel's Theorem in Focus
Gödel's Theorem in Focus edited by S.G. Shanker.
3 min read
Godel
11月
29
也談連續統假設
連續統假設是推動集合論發展的重要問題。
6 min read
5月
15
奇書面世40年︰《Gödel, Escher, Bach》的知識漫遊
《Gödel, Escher, Bach》所涉獵題材之廣、再穿插虛構人物對話，堪稱一部奇書。
18 min read
6月
11
當愛因斯坦與哥德爾散步
文章大多數題材都在我興趣範圍內，但沒有一篇文章令我覺得沉悶或「熟口熟面」。
7 min read
3月
25
《Reverse Mathematics》︰數學的逆向工程
逆向數學希望尋找恰當的公理去證明定理。
12 min read
2月
05
數學是迷信？
人類知識當然受到不少限制，可這不代表相信有個造物者更加合理。
4 min read
12月
09
如何知道數學無矛盾？
在算術系統中無法證明該系統一致，不代表無合理理由相信算術系統一致。
6 min read