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