Turing著名的停機定理說明無法用有限時長的算法判定任意的計算機程序是否停機產生確定輸出，這意味著你無法將某些永不停機的程序和其實會在等待時...

有人嫌市場賣的大蒜氣味難聞，所以向買大蒜的人提供獎金捐友，指望大家一口氣買買買，以后市場上就沒大蒜了。結果大蒜銷路廣開慢哈，市場上大蒜反而更多了。世人...

莊子與惠子游于濠梁之上永票。莊子曰：“鯈魚出游從容卵贱，是魚之樂也滥沫。”惠子曰：“子非魚键俱，安知魚之樂兰绣？”莊子曰：“子非我，安知我不知魚之樂编振？”惠子曰：“我...

此前筆者曾經提到AI效應缀辩，人們在計算機做出無法和足夠聰明的人區(qū)分的行為后，依然會聲稱行為中表現(xiàn)的智能是假的踪央。 按照這個邏輯臀玄，人在同類行為中體...

設想這樣一個情境：面對問題X畅蹂，算力不限的證明方（Prover）試圖通過輪流問答來說服算力等同于概率性圖靈機的驗證方（Verifier）接受他的...

計算主義者會從一個過程可以被離散符號表征而推出其可以等價于計算機的運作的結論，從而斷定人的思考可以直接被視作是計算液斜。相反地累贤，中文房間的支持者們...

“對P=NP，我已生成一個絕妙的證明少漆。但因為P=NP畦浓，你將沒有時間去讀懂它〖煲撸” “难惹耄”終于停止了久遠的沉思。

理論科學家常會把他們的工作表述為“以數(shù)學為現(xiàn)象建立模型”屎媳，但其實數(shù)學上專研“模型”的分支（即模型論）中“模型”的涵義和用法幾乎與之截然相反：模...

要避免對這個關鍵概念的誤解夺溢，首先要明確的是在《邏輯哲學論》的語境下，一切能夠用于表示/描述/對應某個事實的東西都算作一種語言烛谊，包括而不限于肢體...