一張數理邏輯海報
圖中介紹1847至1947年間多位數學家、邏輯學家及哲學家的貢獻,這段期間數理邏輯及數學基礎研究高速發展。
未睇嘅書︰How to Sell a Contradiction
How to Sell a Contradiction, Franesco Berto
讀書筆記︰Gödel's Theorem in Focus
Gödel's Theorem in Focus edited by S.G. Shanker.
未睇嘅書︰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.
我上過的集合論課
八年前我仍在布達佩斯讀碩士,我讀的是邏輯系,一位同學介紹我可選數學系的集合論課,自然不可錯過。
讀書筆記︰The Liar
The Liar: An Essay on Truth and Circularity, by Jon Barwise & John Etchemendy
未睇嘅書︰Computability and Unsolvability
📕 Computability and Unsolvability|Martin Davis
讀書筆記︰Formal Theories of Truth
Formal Theories of Truth, Jc Beall, Michael Glanzberg, and David Ripley