11月
29
也談連續統假設
連續統假設是推動集合論發展的重要問題。
6 min read
logic
5月
15
奇書面世40年︰《Gödel, Escher, Bach》的知識漫遊
《Gödel, Escher, Bach》所涉獵題材之廣、再穿插虛構人物對話，堪稱一部奇書。
18 min read
3月
21
尋找 x³+y³+z³ = 33 的整數解很無聊嗎？
我還可以更無聊，例如寫這篇東西。
7 min read
10月
23
抽水切忌暴露無知
不只一次見到人講錯羅素悖論（Russell Paradox）。「答yes答no都產生矛盾」頂多只是悖論，但並非所有悖論都是羅素悖論。（不過悖論的定義可以更廣，未必需要產生矛盾。）
1 min read
6月
11
當愛因斯坦與哥德爾散步
文章大多數題材都在我興趣範圍內，但沒有一篇文章令我覺得沉悶或「熟口熟面」。
7 min read
3月
25
《Reverse Mathematics》︰數學的逆向工程
逆向數學希望尋找恰當的公理去證明定理。
12 min read
2月
05
數學是迷信？
人類知識當然受到不少限制，可這不代表相信有個造物者更加合理。
4 min read
12月
09
如何知道數學無矛盾？
在算術系統中無法證明該系統一致，不代表無合理理由相信算術系統一致。
6 min read
10月
30
接受構造主義數學的五個階段
構造主義是數學哲學的一個流派，強調要證明某數學物件存在，必須能提供找到它的方法，或解釋如何構造它。
3 min read
8月
29
讀書筆記︰Alfred Tarski: Life and Logic
Alfred Tarski: Life and Logic, by Anita Burdman Feferman & Solomon Feferman.
12 min read