book notes

3月
16
《Factor Man》︰證明P=NP後,你要如何向全世界宣布?

《Factor Man》︰證明P=NP後,你要如何向全世界宣布?

小說《Factor Man》可算是證明「P=NP」後的行動指南。
12 min read
5月
15
奇書面世40年︰《Gödel, Escher, Bach》的知識漫遊

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

《Gödel, Escher, Bach》所涉獵題材之廣、再穿插虛構人物對話,堪稱一部奇書。
18 min read
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