先定義這么一些東西: 當(dāng)前語言由 n 個(gè)字符構(gòu)成。定義 T(L) 為所有長(zhǎng)度不超過 L 且能停機(jī)的圖靈機(jī)構(gòu)成的集合。定義 S(t) 為圖靈機(jī) t...

先定義這么一些東西: 當(dāng)前語言由 n 個(gè)字符構(gòu)成。定義 T(L) 為所有長(zhǎng)度不超過 L 且能停機(jī)的圖靈機(jī)構(gòu)成的集合。定義 S(t) 為圖靈機(jī) t...
問題的緣起是這樣的—— 網(wǎng)友 @十酒三 在他的文章《自指的剃刀:AIT最深遠(yuǎn)的應(yīng)用》中提出了一個(gè)很有意思的觀點(diǎn),用大白話來說,就是“最可能出現(xiàn)的...
作者方向紅,原載《南京師大學(xué)報(bào)(社會(huì)科學(xué)版)》,2017年第2期,第26-33頁 本文所有配圖,由設(shè)計(jì)與哲學(xué)公眾號(hào)(ID:PhilosophyD...
這個(gè)問題源自最近在設(shè)計(jì)的一套協(xié)議,用在一個(gè)分布式系統(tǒng)中。 首先,我們將有序數(shù)列(有限或無限都可以)稱為是一個(gè)“表達(dá)基”,只要求對(duì)任意都滿足。 接...
我們可以將廁所坑位中用紙的情況,簡(jiǎn)化為一個(gè)數(shù)學(xué)問題,包含如下這些規(guī)則: 假定有n卷廁紙,每卷的長(zhǎng)度是 ,每個(gè)用戶使用的長(zhǎng)度都是N; 用戶在選擇使...
干活干得累了,就想找點(diǎn)別的事情做,來緩緩腦子,于是就想到了這個(gè)問題,也算是趁著最近黑洞的熱潮。這篇計(jì)算的內(nèi)容,很多年前晃晃提到過,當(dāng)時(shí)和晃晃在群...
前篇請(qǐng)看《社區(qū)上的代幣經(jīng)濟(jì)生態(tài)·上》。 4,帶錨定代幣網(wǎng)絡(luò)及動(dòng)態(tài)網(wǎng)絡(luò) 錨定代幣網(wǎng)絡(luò)(ATN,Anchored Token Network)中存在...
tags: 區(qū)塊鏈 代幣經(jīng)濟(jì) 社區(qū)生態(tài) 我們考慮在一個(gè)最簡(jiǎn)單的社區(qū)系統(tǒng)上,建立一套代幣經(jīng)濟(jì)生態(tài)。 這個(gè)系統(tǒng)有多簡(jiǎn)單?簡(jiǎn)單到,所有用戶都按照相同的...
老實(shí)說,看了 Atiyah 爵士的 PPT 視頻,感覺老爺子如果不是把99%的驚天逆轉(zhuǎn)細(xì)節(jié)都藏了起來而只把一些看起來很沒邏輯的結(jié)論放出來,那就是...
由于一個(gè)理論模型過于頭疼,所以打算寫點(diǎn)東西放松一下。正好也已經(jīng)很久不寫東西了,最近數(shù)學(xué)界又有兩件大事,所以打算寫點(diǎn)東西。 對(duì)于黎曼Zeta函數(shù),...
專題公告
這是一個(gè)需要受邀才能加入的圈子。
留給那些認(rèn)真嚴(yán)肅寫文章的人。
想加入者請(qǐng)寫申請(qǐng)?zhí)缓笕?nèi)人~~
圈子介紹:http://www.lxweimin.com/p/2fefc4723453
收文標(biāo)準(zhǔn):http://www.lxweimin.com/p/1c49d23e2c78
申入方法:http://www.lxweimin.com/p/f33c4f2a19b2