logic

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
10月
09
讀書筆記︰Formal Theories of Truth

讀書筆記︰Formal Theories of Truth

Formal Theories of Truth, Jc Beall, Michael Glanzberg, and David Ripley
4 min read
9月
04
一個跟「2+2=5」有關的邏輯故事

一個跟「2+2=5」有關的邏輯故事

如何「應用」爆炸原理。
3 min read
11月
29
也談連續統假設

也談連續統假設

連續統假設是推動集合論發展的重要問題。
6 min read
5月
15
奇書面世40年︰《Gödel, Escher, Bach》的知識漫遊

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

《Gödel, Escher, Bach》所涉獵題材之廣、再穿插虛構人物對話,堪稱一部奇書。
18 min read
3月
21
尋找 x³+y³+z³ = 33 的整數解很無聊嗎?

尋找 x³+y³+z³ = 33 的整數解很無聊嗎?

我還可以更無聊,例如寫這篇東西。
7 min read
10月
23
抽水切忌暴露無知

抽水切忌暴露無知

不只一次見到人講錯羅素悖論(Russell Paradox)。「答yes答no都產生矛盾」頂多只是悖論,但並非所有悖論都是羅素悖論。(不過悖論的定義可以更廣,未必需要產生矛盾。)
1 min read