books

6月
11
當愛因斯坦與哥德爾散步

當愛因斯坦與哥德爾散步

文章大多數題材都在我興趣範圍內,但沒有一篇文章令我覺得沉悶或「熟口熟面」。
7 min read
3月
25
《Reverse Mathematics》︰數學的逆向工程

《Reverse Mathematics》︰數學的逆向工程

逆向數學希望尋找恰當的公理去證明定理。
12 min read
7月
23
讀書筆記︰Cantorian Set Theory and Limitation of Size

讀書筆記︰Cantorian Set Theory and Limitation of Size

Cantorian Set Theory and Limitation of Size, Michael Hallett
3 min read
5月
18
讀書筆記︰The God Species: Saving the Planet in the Age of Humans

讀書筆記︰The God Species: Saving the Planet in the Age of Humans

The God Species: Saving the Planet in the Age of Humans, Mark Lynas.
6 min read
8月
29
讀書筆記︰Alfred Tarski: Life and Logic

讀書筆記︰Alfred Tarski: Life and Logic

Alfred Tarski: Life and Logic, by Anita Burdman Feferman & Solomon Feferman.
12 min read