从用人类语言学的逻辑 到用数学作为通用语言在分析解决问题的逻辑，再到数学作为电脑语言的逻辑，最后去寻求人类大脑和电脑共同的逻辑。

3.5星 讲的太简单了

简单生趣的介绍了逻辑以及从逻辑引发开的现实应用，没有想到简单逻辑居然在后人的发展下有如此之深的扩展与实践，很具有现实意义的谈资。

逻辑本质就是推理和论证，计算机就是将现实符号化之后进行逻辑运算。弗雷格的谓词形式化，哥德尔的完备性与一致性冲突。

所以说，好的程序员没情商有逻辑。值得一看的科教普及片。