科学的极致：漫谈人工智能 读后感

作者：集智俱乐部

《科学的极致：漫谈人工智能》将全面介绍人工智能的发展历史、探究过程以及在各个领域的应用，以通俗易懂的语言和生动有趣的示例为你揭示人工智能不为人知的奥秘。集智俱乐部是一个从事学术研究、享受科学乐趣的探索者组成的团体，倡导以平等开放的态度、科学实证的精神进行跨学科的研究与交流，力图搭建一个中国的“没有围墙的研究所”。这些令人崇敬的、充满激情与梦想的集智俱乐部成员将带你了解图灵机模型、冯·诺依曼计算机体系结构、怪圈与哥德尔定理、通用人工智能、深度学习、人类计算与自然语言处理，与你一起展开一场令人热血沸腾的科学之旅。

科学的极致：漫谈人工智能在线阅读地址

科学的极致：漫谈人工智能 读后感 第(1)篇

初识人工智能

在 AlphaGo 打败世界围棋第一人柯洁之后，人工智能迅速走进大众的视野。我也怀着对未来的期待逐步的想要去了解这个未知而又充满期待的人工智能。

希尔伯特

这本书从理论到实践，一层层的剖析了人工智能究竟是怎么样的。从数学家大卫·希尔伯特的第二问题：证明数学系统中应同时具备一致性（数学真理不存在矛盾）和完备性（任意真理都可以被描述为数学定理）谈起，到哥德尔不完备定理，表明不管是人或者机器总有拼接自身无法解决的问题。

希尔伯特的第十问题：“是否存在着判定任意一个丢番图方程有解的机械化运算”，艾伦·图灵设想图灵机，它是计算机的理论原型，为计算机的发明铺平了道路。

图灵机&图灵停机

图灵机停机问题：是否存在这样一个程序（算法），它能够计算任何程序（算法）在给定输入上是否会结束（停机）。

假设 God_algo是这样的一个程序，可以判断一个程序是否会停机，如下：

bool God_algo(char* program, char* input)

{

if(<program> halts on <input>)

return true;

return false;

}

那么，此时使用 God_algo 构建一个新的算法，如下：

bool Satan_algo(char* program)

{

if( God_algo(program, program) )

{

while(1); // loop forever!

return false; // can never get here!

}

else

return true;

Satan_algo(Satan_algo) 可以停机 => 它不能停机

Satan_algo(Satan_algo) 不能停机 => 它能停机

总是矛盾的，因此不存在这样的算法。

缠结

所谓人工智能，就是让人类用自己的智慧去破解智慧本身的奥秘。逃离不开自指、缠结的层次等概念之间的纠缠。

无论是哥德尔定理、罗素悖论，还是图灵停机问题，对角线方法都发挥着绝对核心的作用。这条对角线仿佛就是恶魔的诅咒，限定了人类理性思维的作用范围。

后半部分没读懂。

《哥德尔、艾舍尔、巴赫：集异壁之大成》

奥卡姆剃刀

如无必要，勿增实体。虽然有限的观测方法无法确保一般真理的普遍必然性，但这样是最简单的。