Jun
07
Thue-Morse 數列
Thue-Morse 數列當中不會包含連續重複三次的數列。
14 min read
mathematics
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
Apr
05
讀書筆記︰Gödel's Theorem in Focus
Gödel's Theorem in Focus edited by S.G. Shanker.
3 min read
Dec
06
我上過的集合論課
八年前我仍在布達佩斯讀碩士，我讀的是邏輯系，一位同學介紹我可選數學系的集合論課，自然不可錯過。
4 min read
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