May
20
讀書筆記：Foundations without Foundationalism
Foundations without Foundationalism: A Case for Second-order Logic, Stewart Shapiro.
3 min read
Apr
25
填色問題的上／下限與有／無限
關於「平面色數」的問題。
5 min read
Feb
25
隨機的規律
我們的大腦很容易被迷惑，誤把巧合當成規律。
6 min read
Feb
05
數學是迷信？
人類知識當然受到不少限制，可這不代表相信有個造物者更加合理。
4 min read
Dec
27
無限與無限之間，該選哪條路軌？
雖然兩條公式同樣用上加號和等號，但這兩個符號在兩條公式中的定義有別。
4 min read
Nov
14
偽亂數與 P vs. NP
偽亂數產生器的重點並非要輸出「一個」隨機的數字。
3 min read
Oct
30
接受構造主義數學的五個階段
構造主義是數學哲學的一個流派，強調要證明某數學物件存在，必須能提供找到它的方法，或解釋如何構造它。
3 min read
Oct
29
蒙提霍爾和蒙地卡羅
據數學家 Andrew Vázsonyi 憶述，著名數學家 Erdős Pál 聽到蒙提霍爾問題（Monty Hall Problem）問題時，認為改不改選另一道門也沒有分別。
3 min read
Jul
23
讀書筆記︰Cantorian Set Theory and Limitation of Size
Cantorian Set Theory and Limitation of Size, Michael Hallett
3 min read