判断程序是否停机的HaltChecker,绝对是任何人都无法写出来的。
AI时代,有人焦虑失业,有人偷偷变强,不写代码不烧脑~
相关语录
-
对于庞大的数值,难以计算,可以试着用较小的数字进行计算,找出规律,剩下的问题就是通过余数解决。
-
如果能够一笔画成,必须满足所有的顶点都是偶点(起点和终点相同)或只有两个奇点(起点和终点不同)
-
数学归纳法是证明断言对于0以上的所有整数n都成立的方法。只需要“基底”和“归纳”两个步骤就可以证明无穷数的断言。
-
在逻辑表达式中分别将true和false,A和非A,并和交进行互换,就能得到该逻辑表达式的否定式。例如:!(A&&B)(!A)||(!B)这就是摩根定律。
-
余数的力量--将较大的数字除一次就能分组奇偶校验位将数字分为两个集合
-
在一般编程中,程序员通常不需要掌握很深奥的数学知识。不过,认清并简化问题结构,总结出具有一致性的规则等,对于程序员来说是家常便饭。不要觉得“不擅长数学”就默然处之,而要想到“数学妙趣横生,要多加运用”,给每天的编程都注入数学的思维方式。
-
在考虑规则时,确认没有“遗漏”和“重复”是相当重要的。1.没有“遗漏”,即具备完备性,由此明确该规则无论在什么情况下都能适用。2.没有“重复”,即排他性,由此明确该规则不存在矛盾之处。
-
数的本身不重要,而是数的奇偶性。比如证明哥德堡七桥问题---转化为图论,看各顶点的边数。
-
在探讨义和团起源的问题上,中国学者一般着眼于“组织源流”的研究;而我在本书中强调的是“降神附体”仪式对义和团发展过程所以的作用。换句话说,使我感兴趣的并不是仪式的师祖,二是它为什么会在1898年至1900年间如此迅速的传播开来。我认为主要原因在于它的易于接受,而易于接受又与它本身来自华北农村的文化和风俗习惯息息相关。

