哥德尔、艾舍尔、 巴赫:集异璧之大成

其实老早就知道这本书了。但是之前甚至连找个电子版的书看完前言的努力都没有的。

这个国庆是在加班中度过的。在网上看到有人解释函数式编程中的Y Combinator,然后用到了递归的知识,并且提到了图灵机,丘奇以及本文title中的这本《哥德尔、艾舍尔、 巴赫:集异璧之大成》。这里面提到的这几个知识点几乎都是自己比较感兴趣的,只可惜之前一直都没有努力去弄明白。现在对于有这样的一本书可以同时提供这几个方面的知识,那自然是极好的事情了。

在购买了《哥德尔、艾舍尔、 巴赫:集异璧之大成》这本书的同时,自己也有在看以下的视频:

1.MIT courseware, 哥德尔、艾舍尔、 巴赫, 一次心灵太空漫游 ,

在这个系列的视频中,我们会看到有用到以下的知识点的, 本人是数学系的学生,有的概念尚且很模糊,非数学或者计算机专业的学生想要搞明白里面的一些内容恐怕是难上加难了。不过有不知道的东西或者能认识到自己有哪些的不足其实是很好的事情的。 先列出prerequisites吧:

1
2
3
4
5
Isomorphisms
Recursion
Paradox
Infinity
Formal System

这些都是”道”方面的内容的。 我看过不少的人,他们没有把时间和精力花在研究道上面,而是热衷于玩弄所谓的新技术,新名词。满足于能够使用的基础上,却很少去问几个why. 其实他们可以想想:同样的知识自己如果可以掌握的话,别人难道就不可以很快的掌握了吗?若是有哪怕丝毫的谦虚自省的精神,也不至于狂悖傲慢了。

这些话既是对自己看到的现象的反省,也是对自己的鞭策吧!

2.BBC, Dangerous Knowledge

后续的话会有关于这方面的学习笔记的。