Dec
09
如何知道數學無矛盾?

如何知道數學無矛盾?

在算術系統中無法證明該系統一致,不代表無合理理由相信算術系統一致。
6 min read
Nov
14
偽亂數與 P vs. NP

偽亂數與 P vs. NP

偽亂數產生器的重點並非要輸出「一個」隨機的數字。
3 min read
Nov
01
陳雲論腦死亡與捐贈器官的錯誤

陳雲論腦死亡與捐贈器官的錯誤

簡單來說,這宗失誤的重點在於誤判病人為腦死亡,而非「腦死亡後仍有知覺」。
6 min read
Oct
30
接受構造主義數學的五個階段

接受構造主義數學的五個階段

構造主義是數學哲學的一個流派,強調要證明某數學物件存在,必須能提供找到它的方法,或解釋如何構造它。
3 min read
Oct
29
蒙提霍爾和蒙地卡羅

蒙提霍爾和蒙地卡羅

據數學家 Andrew Vázsonyi 憶述,著名數學家 Erdős Pál 聽到蒙提霍爾問題(Monty Hall Problem)問題時,認為改不改選另一道門也沒有分別。
3 min read
Oct
18
讀書筆記:《數學巨人哥德爾》

讀書筆記:《數學巨人哥德爾》

《數學巨人哥德爾——關於邏輯的故事》,作者:John L. Casti & Werner DePauli 著,林志懋譯。
3 min read
Sep
12
讀書筆記:Trick or Treatment

讀書筆記:Trick or Treatment

Trick or Treatment: The Undeniable Facts about Alternative Medicine, Simon Singh, Edzard Ernst.
9 min read
Jul
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
May
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
Aug
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