3月
16
《Factor Man》︰證明P=NP後,你要如何向全世界宣布?

《Factor Man》︰證明P=NP後,你要如何向全世界宣布?

小說《Factor Man》可算是證明「P=NP」後的行動指南。
12 min read
5月
15
奇書面世40年︰《Gödel, Escher, Bach》的知識漫遊

奇書面世40年︰《Gödel, Escher, Bach》的知識漫遊

《Gödel, Escher, Bach》所涉獵題材之廣、再穿插虛構人物對話,堪稱一部奇書。
18 min read
6月
11
當愛因斯坦與哥德爾散步

當愛因斯坦與哥德爾散步

文章大多數題材都在我興趣範圍內,但沒有一篇文章令我覺得沉悶或「熟口熟面」。
7 min read
3月
25
《Reverse Mathematics》︰數學的逆向工程

《Reverse Mathematics》︰數學的逆向工程

逆向數學希望尋找恰當的公理去證明定理。
12 min read
12月
09
如何知道數學無矛盾?

如何知道數學無矛盾?

在算術系統中無法證明該系統一致,不代表無合理理由相信算術系統一致。
6 min read
7月
08
一張數理邏輯海報

一張數理邏輯海報

圖中介紹1847至1947年間多位數學家、邏輯學家及哲學家的貢獻,這段期間數理邏輯及數學基礎研究高速發展。
5 min read
3月
24
未睇嘅書︰How to Sell a Contradiction

未睇嘅書︰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

Gödel's Theorem in Focus edited by S.G. Shanker.
3 min read
12月
06
我上過的集合論課

我上過的集合論課

八年前我仍在布達佩斯讀碩士,我讀的是邏輯系,一位同學介紹我可選數學系的集合論課,自然不可錯過。
4 min read