cky

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

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

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

蒙提霍爾和蒙地卡羅

據數學家 Andrew Vázsonyi 憶述,著名數學家 Erdős Pál 聽到蒙提霍爾問題(Monty Hall Problem)問題時,認為改不改選另一道門也沒有分別。
3 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