3月
24
未睇嘅書︰How to Sell a Contradiction
How to Sell a Contradiction, Franesco Berto
3 min read
mathematics
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
10月
09
讀書筆記︰Formal Theories of Truth
Formal Theories of Truth, Jc Beall, Michael Glanzberg, and David Ripley
4 min read
9月
04
一個跟「2+2=5」有關的邏輯故事
如何「應用」爆炸原理。
3 min read
7月
18
睇手機時間所有數字一樣有幾巧合？
計落又唔係好神奇。
3 min read
3月
16
《Factor Man》︰證明P=NP後，你要如何向全世界宣布？
小說《Factor Man》可算是證明「P=NP」後的行動指南。
12 min read
11月
29
也談連續統假設
連續統假設是推動集合論發展的重要問題。
6 min read