原本這篇是思故淵的文章《《朝聞道》與諾斯替主義:劉慈欣的科學(xué)觀念》一文的評(píng)論峰档,不過最近難得在工作之余寫這么多字,所以想了想覺得還是要整理下獨(dú)立出來羹奉,主要也是為了嘚瑟一下。 原...
![240](https://upload.jianshu.io/users/upload_avatars/187892/1ec4519ebb4c.jpg?imageMogr2/auto-orient/strip|imageView2/1/w/240/h/240)
原本這篇是思故淵的文章《《朝聞道》與諾斯替主義:劉慈欣的科學(xué)觀念》一文的評(píng)論峰档,不過最近難得在工作之余寫這么多字,所以想了想覺得還是要整理下獨(dú)立出來羹奉,主要也是為了嘚瑟一下。 原...
我們可以將圖靈機(jī)定義為這么一種特殊的函數(shù) : 其中雨饺,如果 接受輸入?yún)?shù) 荐吉,則 ,且 為圖靈機(jī)輸出結(jié)果蝗拿;如果 拒絕輸入?yún)?shù) 晾捏,則 ,且 可以是任意值哀托;如果 在輸入?yún)?shù)...
因?yàn)榫W(wǎng)友十酒三的文章惦辛,突然對(duì)丟番圖集產(chǎn)生了興趣。 加上之前看《永恒的圖靈》時(shí)也看到過相關(guān)的討論仓手,所以這里就記錄一些關(guān)于丟番圖集與遞歸可枚舉集的想法胖齐。 關(guān)于圖靈機(jī) 要理解遞歸可...
這是Wolfram對(duì)蓋爾曼的緬懷玻淑,原文可以在這里https://motls.blogspot.com/2019/06/wolfram-on-gell-mann.html?m=...
一呀伙、一杯水為何存在补履? 你每天都會(huì)喝水,但你有沒有想過剿另,「一杯水」為什么會(huì)存在箫锤? 或者換句話說,這杯水為什么可以以一個(gè)「?jìng)€(gè)體」的形式存在驰弄? 要知道麻汰,一杯水是由數(shù)不清的水分子構(gòu)成...
干活干得累了,就想找點(diǎn)別的事情做戚篙,來緩緩腦子五鲫,于是就想到了這個(gè)問題,也算是趁著最近黑洞的熱潮岔擂。這篇計(jì)算的內(nèi)容位喂,很多年前晃晃提到過,當(dāng)時(shí)和晃晃在群里聊過好幾次乱灵,但今天我沒找到他...
在開始討論哥德爾的本體論證明痛倚,即利用三階模態(tài)邏輯(HOML)來證明“類上帝的屬性必然有實(shí)體”规婆,之前,我們先來了解一下模態(tài)邏輯蝉稳。 命題邏輯抒蚜、謂詞邏輯和模態(tài)邏輯 模態(tài)邏輯中,有三...
上次參加未來局的筆會(huì)耘戚,有一篇之前彗星科幻上的小說《紀(jì)念品》讓人印象深刻嗡髓,所以上次寫文案感到無聊的時(shí)候就自己寫了一篇類似的。當(dāng)然收津,因?yàn)橐恍亩枚稣猓越Y(jié)果也只能說是完成了“碼字”...