3月
16
《Factor Man》︰證明P=NP後，你要如何向全世界宣布？
小說《Factor Man》可算是證明「P=NP」後的行動指南。
12 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
12月
09
如何知道數學無矛盾？
在算術系統中無法證明該系統一致，不代表無合理理由相信算術系統一致。
6 min read
3月
24
未睇嘅書︰How to Sell a Contradiction
How to Sell a Contradiction, Franesco Berto
3 min read
6月
11
直覺主義、π以及排中律——《大話題︰邏輯》相關段落的問題
《大話題︰邏輯》相關段落的問題。
7 min read
4月
05
讀書筆記︰Gödel's Theorem in Focus
Gödel's Theorem in Focus edited by S.G. Shanker.
3 min read
12月
06
我上過的集合論課
八年前我仍在布達佩斯讀碩士，我讀的是邏輯系，一位同學介紹我可選數學系的集合論課，自然不可錯過。
4 min read
11月
30
量子電腦不（太）可能是下一代個人電腦
不要因為看到新聞說量子電腦怎樣厲害，便以為它會取代現時所有電腦。
8 min read