#公式
2021-3-16 22:1
很难为已经过了几十年的语言开发了一个新的静态分析工具 - 如果您的工具标志代码已达到十几年的工具标记代码，请在您的用户思想中脱颖而出。
一些相对较新的静态分析工具通过权威的一种论证来克服了这一点。 TypeScript的作者可以说“我设计了着名的编程语言，当我说你的代码写得不好时相信我”。
然而，我设计了零编程语......
2020-11-5 4:34
我最近看了这个关于Tper自我参照配方的博客。这个公式很有趣。它的图形包含适合17*106网格区域的所有可能的位图。因此，在众多位图中有一个包含公式本身的有意义的表示也就不足为奇了。实际上，在17*106网格中拟合公式的方式有多种，因此该公式在图形中有多次出现。但也有其他所有的公式都符合。这并不是真正的自参考，因为您......
How Gödel’s Proof Works(www.quantamagazine.org)
2020-7-15 2:25
1931年，奥地利逻辑学家库尔特·哥德尔(Kurt Gödel)取得了可以说是历史上最令人惊叹的智力成就之一。
那个时代的数学家为数学寻找坚实的基础：一套基本的数学事实或公理，既是一致的-永远不会导致矛盾-又是完整的，作为所有数学真理的基石。
但哥德尔在25岁时发表的令人震惊的不完全性定理粉碎了这一梦想。他证明，任何......