Mar
16
《Factor Man》︰證明P=NP後，你要如何向全世界宣布？
小說《Factor Man》可算是證明「P=NP」後的行動指南。
12 min read
May
15
奇書面世40年︰《Gödel, Escher, Bach》的知識漫遊
《Gödel, Escher, Bach》所涉獵題材之廣、再穿插虛構人物對話，堪稱一部奇書。
18 min read
Jun
11
當愛因斯坦與哥德爾散步
文章大多數題材都在我興趣範圍內，但沒有一篇文章令我覺得沉悶或「熟口熟面」。
7 min read
Mar
25
《Reverse Mathematics》︰數學的逆向工程
逆向數學希望尋找恰當的公理去證明定理。
12 min read
Dec
09
如何知道數學無矛盾？
在算術系統中無法證明該系統一致，不代表無合理理由相信算術系統一致。
6 min read
Jun
07
Thue-Morse 數列
Thue-Morse 數列當中不會包含連續重複三次的數列。
14 min read
Jul
08
一張數理邏輯海報
圖中介紹1847至1947年間多位數學家、邏輯學家及哲學家的貢獻，這段期間數理邏輯及數學基礎研究高速發展。
5 min read
Mar
24
未睇嘅書︰How to Sell a Contradiction
How to Sell a Contradiction, Franesco Berto
3 min read
Jun
11
直覺主義、π以及排中律——《大話題︰邏輯》相關段落的問題
《大話題︰邏輯》相關段落的問題。
7 min read
Apr
23
未睇嘅書：The Mathematics of Logic
The Mathematics of Logic: A guide to completeness theorems and their applications, Richard Kaye
3 min read