我们知道了我们是怎么知道的

 麦卡洛克后来在一篇哲学文章里自豪地宣告：这是科学史上的第一次。  本节部分参考了《人工智能简史》和《智慧的疆界》  一 麦卡洛克和皮茨发表那篇里程碑式论文的同一年，艾伦·图灵正在布莱切利公园破译德国恩尼格玛密码机。他和团队用智慧拯救了数十万的生命，对盟军在二战中的胜利起到了关键作用。

 他们的交集同样与罗

素有关。 在世纪初，数学家和逻辑学家都在试图找到一种能够 匈牙利号码数据 将所有的数学真理减少到一套简单的公理和逻辑规则的系统。 这就是著名的希尔伯特计划，由德国数学家大卫·希尔伯特提出。罗素及其合作者怀特海在《数学原理》一书中就做了这样的尝试，他们试图将数学基础建立在形式逻辑的基础之上。然而，希尔伯特计划在年遭到了挫败，因为哥德尔证明了他的不完备性定理。

 这个定理表明任

何足够强大的形式系统，都存在一些在该系统 印度电话号码列表 内部既不能被证明也不能被反驳的命题。 ChatGPT的底层逻辑 年，图灵在一篇论文里研究了希尔伯特的计算性和判定性问题。 为了解决这个问题，图灵首先定义了计算这个概念，并创建了图灵机，这是一种理论上的计算设备。然后，他通过构造了一个图灵机无法解决的问题 即停机问题 来证明判定问题实际上是无法解决的。