“刘未鹏 。《康托尔、哥德尔、图灵——永恒的金色对角线》”有12个回复

1. LIU yannan 于 2013-05-20 8:25 下午

   第二页有错误，程序抄错了吧，两个return中间应该有else

2. laotuinbay 于 2013-05-20 9:44 下午

   如果你把文中提到的概念真搞懂了，你就是大拿了，就明白为什么数学家是beautiful mind。
   现实中的计算机科学家和软件工程师们都是机会主义者。

   Three men, a physican, a engineer and a computer scientist, are travelling in a car. Suddenly, the car starts to smoke and stops.The three atonished men try to solve the problem:

   - Physican says: This is obviously a classic problem of torque.It has been overloaded the elasticity limit of the main axis.

   - Engineer says : Let’s be serious! The matter is that it has been burned the spark of the connecting rod to the dynamo of the radiator. I can easily repair it by hammering.

   - Computer scientist says : What if we get off the car, wait a minute, and then get in and try again?

3. laotuinbay 于 2013-05-20 10:01 下午

   看来一楼yannan写程序尚需努力。对的看错了，错的也会看对。这就是为什么，写程序，要守coding guideline or coding style.

4. aaaaaa 于 2013-05-20 11:07 下午

   第二页有错误，程序抄错了吧，两个return中间应该有else
   —————————
   不需要else，一个函数只能return一次，哈哈

5. frank 于 2013-05-21 6:47 上午

   被绕晕了，高手都是自虐型的。只能是博大精深，深到让人怀疑，是不是真的有上帝。

6. kevint 于 2013-05-22 6:47 下午

   这文章应该命名为程序员装逼指南

7. foo 于 2013-05-22 6:56 下午

   请教一个问题：
   第15页
   G(n): UnPr( N(n) )。G(n) 即 UnPr( N(n) )，是一个含参数 n 的字符串。
   有自然数 g 令N(g) = G(n).
   将g带入n，得到
   G(g): UnPr( N(g) )
   也就是
   G(g): UnPr( G(n) )

   接下去如何推导出
   G(g): UnPr( G(g) )

   从而完成哥德尔的构造？

8. tossking 于 2013-05-22 8:26 下午

   当初看到刘未鹏的《暗时间》的时候只是觉得虽然看不懂，但是好像很牛B的样子
   后来看《the little schemer》里面关于lambda算子的构造过程，感觉似乎明白了一点点，但是还是不懂还是觉得很牛B的样子
   确实是程序员装B利器。

9. cmonkey 于 2013-05-25 10:43 下午

   代码应该直接用scheme 来写，不然感觉乱乱的。

10. HJ 于 2013-05-28 8:47 下午

    to 2楼：
    it is a great joke!

11. MLL 于 2013-06-03 1:52 下午

    想研究函数式语言，找 王珢。

12. bend,or 于 2013-09-02 4:31 上午

    开头一大段怎么像”Functional Programming For The Rest of Us”
    最后推荐的GEB是一本好书，译名《集异璧之大成》就是神来一笔。