Sep
12
未睇嘅書︰Computability and Unsolvability
📕 Computability and Unsolvability｜Martin Davis
3 min read
Nov
30
量子電腦不（太）可能是下一代個人電腦
不要因為看到新聞說量子電腦怎樣厲害，便以為它會取代現時所有電腦。
8 min read
Oct
09
讀書筆記︰Formal Theories of Truth
Formal Theories of Truth, Jc Beall, Michael Glanzberg, and David Ripley
4 min read
Sep
04
一個跟「2+2=5」有關的邏輯故事
如何「應用」爆炸原理。
3 min read
Jul
18
睇手機時間所有數字一樣有幾巧合？
計落又唔係好神奇。
3 min read
Nov
29
也談連續統假設
連續統假設是推動集合論發展的重要問題。
6 min read
Mar
21
尋找 x³+y³+z³ = 33 的整數解很無聊嗎？
我還可以更無聊，例如寫這篇東西。
7 min read
Sep
18
「連贏14次彩票」的「數學家」有甚麼「神奇公式」？
根本沒有甚麼「神奇公式」。
6 min read
May
20
讀書筆記：Foundations without Foundationalism
Foundations without Foundationalism: A Case for Second-order Logic, Stewart Shapiro.
3 min read
Apr
25
填色問題的上／下限與有／無限
關於「平面色數」的問題。
5 min read