240 发简信
  • Rice定理的应用范围

    Turing著名的停机定理说明无法用有限时长的算法判定任意的计算机程序是否停机产生确定输出,这意味着你无法将某些永不停机的程序和其实会在等待时...

  • 逻辑深度的量化研究

    给定自然数,令表示数据的Kolmogorov复杂度,若长度不大于的程序均无法用少于步的运行生成,则称的最大值为在显著因子下的逻辑深度。 令代表任...

  • 可计算的估计量

    满足Le Cam卷积定理前提的概率分布族称为正规参数族(Regular parametric family),囊括了大多数参数统计学常用的分布...

  • 迈向连续的疆域

    一般情况下,概率与概率密度都是在连续区间上取值的实数,这导致随机变量的各阶矩也往往如此。而数字计算机并不能直接处理连续取值,实践中我们往往不得不...

  • 久时图灵机的可压缩性

    定理:令X代表判定图灵机工作带上一段长度为L的固定区域,其上的读写头若在X内逗留时间超过M·s^L,则两者必居其一: (1)图灵机将永不停机。 ...

  • 120
  • 偶尔自相矛盾,或许也不坏?

    “上帝是存在的,因为数学是自洽的。魔鬼也是存在的,因为我们不能证明数学是自洽的。” ...

  • 为何停机定理和强AI只有半毛钱关系

    或:为什么停机问题比看上去要难很多? 强人工智能,通俗来讲就是“有自主意识的电脑”/“有灵魂的机器”,简称强AI。 这玩意更多地是科幻小说爱好者...

  • 所谓人性洞察

    有人嫌市场卖的大蒜气味难闻,所以向买大蒜的人提供奖金,指望大家一口气买买买,以后市场上就没大蒜了。结果大蒜销路广开,市场上大蒜反而更多了。世人...

个人介绍
自称科学史爱好者的伪宅
热爱metagame