先定義這么一些東西： 當前語言由 n 個字符構成。定義 T(L) 為所有長度不超過 L 且能停機的圖靈機構成的集合。定義 S(t) 為圖靈機 t...
投稿
收錄了255篇文章 · 4098人關注
-
AIT 中的幾個有趣問題：從一些不可計算數(shù)到算法演化的動力學
-
關于 AIT 中最概然與最簡是否一致的Toy模型計算
問題的緣起是這樣的—— 網(wǎng)友 @十酒三 在他的文章《自指的剃刀：AIT最深遠的應用》中提出了一個很有意思的觀點，用大白話來說，就是“最可能出現(xiàn)的...
-
遮蔽與阻抗：對空間的發(fā)生現(xiàn)象學構想
作者方向紅，原載《南京師大學報（社會科學版）》，2017年第2期，第26-33頁 本文所有配圖，由設計與哲學公眾號（ID：PhilosophyD...
-
記一個問題：自然數(shù)的最廉價可分解表達
這個問題源自最近在設計的一套協(xié)議，用在一個分布式系統(tǒng)中。 首先，我們將有序數(shù)列（有限或無限都可以）稱為是一個“表達基”，只要求對任意都滿足。 接...
-
從N卷廁紙同時用完的概率開始
我們可以將廁所坑位中用紙的情況，簡化為一個數(shù)學問題，包含如下這些規(guī)則： 假定有n卷廁紙，每卷的長度是 ，每個用戶使用的長度都是N； 用戶在選擇使...
-
球?qū)ΨQ時空中的自由下落物質(zhì)是否可能構成黑洞
干活干得累了，就想找點別的事情做，來緩緩腦子，于是就想到了這個問題，也算是趁著最近黑洞的熱潮。這篇計算的內(nèi)容，很多年前晃晃提到過，當時和晃晃在群...
-
社區(qū)上的代幣經(jīng)濟生態(tài)·下前篇請看《社區(qū)上的代幣經(jīng)濟生態(tài)·上》。 4，帶錨定代幣網(wǎng)絡及動態(tài)網(wǎng)絡 錨定代幣網(wǎng)絡（ATN，Anchored Token Network）中存在...
-
社區(qū)上的代幣經(jīng)濟生態(tài)·上tags: 區(qū)塊鏈 代幣經(jīng)濟 社區(qū)生態(tài) 我們考慮在一個最簡單的社區(qū)系統(tǒng)上，建立一套代幣經(jīng)濟生態(tài)。 這個系統(tǒng)有多簡單？簡單到，所有用戶都按照相同的...
-
證明黎曼猜想（主要流程翻譯）
老實說，看了 Atiyah 爵士的 PPT 視頻，感覺老爺子如果不是把99%的驚天逆轉(zhuǎn)細節(jié)都藏了起來而只把一些看起來很沒邏輯的結(jié)論放出來，那就是...
-
從無窮求和到RSA加密
由于一個理論模型過于頭疼，所以打算寫點東西放松一下。正好也已經(jīng)很久不寫東西了，最近數(shù)學界又有兩件大事，所以打算寫點東西。 對于黎曼Zeta函數(shù)，...
專題公告
這是一個需要受邀才能加入的圈子。
留給那些認真嚴肅寫文章的人。
想加入者請寫申請?zhí)?，然后圈?nèi)人～～
圈子介紹：http://www.itdecent.cn/p/2fefc4723453
收文標準：http://www.itdecent.cn/p/1c49d23e2c78
申入方法：http://www.itdecent.cn/p/f33c4f2a19b2
{var%20f='http://v.t.sina.com.cn/share/share.php?appkey=1881139527',u=z||d.location,p=['&url=',e(u),'&title=',e(t||d.title),'&source=',e(r),'&sourceUrl=',e(l),'&content=',c||'gb2312','&pic=',e(p||'')].join('');function%20a(){if(!window.open([f,p].join(''),'mb',['toolbar=0,status=0,resizable=1,width=440,height=430,left=',(s.width-440)/2,',top=',(s.height-430)/2].join('')))u.href=[f,p].join('');};if(/Firefox/.test(navigator.userAgent))setTimeout(a,0);else%20a();})(screen,document,encodeURIComponent,'','','https://upload.jianshu.io/collections/images/17981/pen.jpg', '推薦專題《嚴肅碼匠圈》（ 分享自 @簡書 ）','http://www.itdecent.cn/c/353fc5f7719a?utm_campaign=maleskine&utm_content=collection&utm_medium=reader_share&utm_source=weibo','頁面編碼gb2312|utf-8默認gb2312'));){kind=link}