logic

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
2月
11
未睇嘅書︰Politics, Logic, and Love

未睇嘅書︰Politics, Logic, and Love

Politics, Logic, and Love: The Life of Jean van Heijenoort (also published as From Frege to Gödel), by Anita Burdman Feferman.
3 min read
12月
06
我上過的集合論課

我上過的集合論課

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

讀書筆記︰The Liar

The Liar: An Essay on Truth and Circularity, by Jon Barwise & John Etchemendy
3 min read
9月
12
未睇嘅書︰Computability and Unsolvability

未睇嘅書︰Computability and Unsolvability

📕 Computability and Unsolvability|Martin Davis
3 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