原本这篇是思故渊的文章《《朝闻道》与诺斯替主义:刘慈欣的科学观念》一文的评论,不过最近难得在工作之余写这么多字,所以想了想觉得还是要整理下独立出来,主要也是为了嘚瑟一下。 原...
IP属地:上海
原本这篇是思故渊的文章《《朝闻道》与诺斯替主义:刘慈欣的科学观念》一文的评论,不过最近难得在工作之余写这么多字,所以想了想觉得还是要整理下独立出来,主要也是为了嘚瑟一下。 原...
我们可以将图灵机定义为这么一种特殊的函数 : 其中,如果 接受输入参数 ,则 ,且 为图灵机输出结果;如果 拒绝输入参数 ,则 ,且 可以是任意值;如果 在输入参数...
因为网友十酒三的文章,突然对丢番图集产生了兴趣。 加上之前看《永恒的图灵》时也看到过相关的讨论,所以这里就记录一些关于丢番图集与递归可枚举集的想法。 关于图灵机 要理解递归可...
这是Wolfram对盖尔曼的缅怀,原文可以在这里https://motls.blogspot.com/2019/06/wolfram-on-gell-mann.html?m=...
一、一杯水为何存在? 你每天都会喝水,但你有没有想过,「一杯水」为什么会存在? 或者换句话说,这杯水为什么可以以一个「个体」的形式存在? 要知道,一杯水是由数不清的水分子构成...
干活干得累了,就想找点别的事情做,来缓缓脑子,于是就想到了这个问题,也算是趁着最近黑洞的热潮。这篇计算的内容,很多年前晃晃提到过,当时和晃晃在群里聊过好几次,但今天我没找到他...
在开始讨论哥德尔的本体论证明,即利用三阶模态逻辑(HOML)来证明“类上帝的属性必然有实体”,之前,我们先来了解一下模态逻辑。 命题逻辑、谓词逻辑和模态逻辑 模态逻辑中,有三...
上次参加未来局的笔会,有一篇之前彗星科幻上的小说《纪念品》让人印象深刻,所以上次写文案感到无聊的时候就自己写了一篇类似的。当然,因为一心二用,所以结果也只能说是完成了“码字”...