原本這篇是思故淵的文章《《朝聞道》與諾斯替主義:劉慈欣的科學(xué)觀念》一文的評論,不過最近難得在工作之余寫這么多字,所以想了想覺得還是要整理下獨立出來,主要也是為了嘚瑟一下。 原...
原本這篇是思故淵的文章《《朝聞道》與諾斯替主義:劉慈欣的科學(xué)觀念》一文的評論,不過最近難得在工作之余寫這么多字,所以想了想覺得還是要整理下獨立出來,主要也是為了嘚瑟一下。 原...
我們可以將圖靈機定義為這么一種特殊的函數(shù) : 其中,如果 接受輸入?yún)?shù) ,則 ,且 為圖靈機輸出結(jié)果;如果 拒絕輸入?yún)?shù) ,則 ,且 可以是任意值;如果 在輸入?yún)?shù)...
因為網(wǎng)友十酒三的文章,突然對丟番圖集產(chǎn)生了興趣。 加上之前看《永恒的圖靈》時也看到過相關(guān)的討論,所以這里就記錄一些關(guān)于丟番圖集與遞歸可枚舉集的想法。 關(guān)于圖靈機 要理解遞歸可...
這是Wolfram對蓋爾曼的緬懷,原文可以在這里https://motls.blogspot.com/2019/06/wolfram-on-gell-mann.html?m=...
一、一杯水為何存在? 你每天都會喝水,但你有沒有想過,「一杯水」為什么會存在? 或者換句話說,這杯水為什么可以以一個「個體」的形式存在? 要知道,一杯水是由數(shù)不清的水分子構(gòu)成...
干活干得累了,就想找點別的事情做,來緩緩腦子,于是就想到了這個問題,也算是趁著最近黑洞的熱潮。這篇計算的內(nèi)容,很多年前晃晃提到過,當(dāng)時和晃晃在群里聊過好幾次,但今天我沒找到他...
在開始討論哥德爾的本體論證明,即利用三階模態(tài)邏輯(HOML)來證明“類上帝的屬性必然有實體”,之前,我們先來了解一下模態(tài)邏輯。 命題邏輯、謂詞邏輯和模態(tài)邏輯 模態(tài)邏輯中,有三...
上次參加未來局的筆會,有一篇之前彗星科幻上的小說《紀(jì)念品》讓人印象深刻,所以上次寫文案感到無聊的時候就自己寫了一篇類似的。當(dāng)然,因為一心二用,所以結(jié)果也只能說是完成了“碼字”...