19个回应

  1. abc
    2013-04-07

    这个文章,写得非常好.
    期待后续.
    最近看到SICP,这个也是背景知识吧.
    (define zero (lambda (f) (lambda (x) x)))
    (define (add-1 n)
    (lambda (f) (lambda (x) (f ((n f) x)))))
    (define one (lambda (f) (lambda (x) (f x))))
    直接用函数定义出整数和加法运算,令人震惊.

    • 王昕
      2013-04-08

      这就是用lambda定义了一下皮亚诺公理嘛

      • abc
        2013-04-10

        多谢指教啊.

  2. 张宁同学
    2013-04-07

    是我……

    • 方弦
      2013-04-08

      你谁?

  3. www.wuzhenlg.com
    2013-04-07

    从小学到大学 数学是最头痛的

  4. cc
    2013-04-07

    更新啦!

  5. zhblue
    2013-04-07

    看了半天以为作者想推荐lisp语言给大家学
    结果居然不是!倒是评论里面见到了,作者看来是正宗数学家,不是苦逼程序员

  6. Ender
    2013-04-09

    最近在玩LISP, 咋一看我也以为是介绍LISP的, 原来是系列文章里的一篇哟

  7. ROOT
    2013-04-14

    y=f(x,....) 也可以(x,y,z)=l(a,b,c,d....)?反正只能是M=V M,V可以是任何变量作用的结果 结果等于结果 作用可以随便 是不是可以这样理解函数?

  8. walker
    2013-04-14

    数学不是黑箱,是物质世界本质表现。数学,说成逻辑推理的一种工具,都比黑箱靠谱。

    • gjn
      2014-07-02

      黑箱是黑盒的意思,比喻很恰当,
      指的是你甭管它形式是什么,它有输入,有输出

  9. yuri
    2013-05-17

    期待后续阿!最近学计算理论,听得云里雾里的。P和NP问题头疼着呢,又来一个NPC...一堆概念搞不懂。。。

  10. 山外青山
    2013-05-19

    人解决问题几乎从不追求绝对正确,而只考虑近似正确. 指导人类行为的不是推导出的定理,而是从现实总结出的经验.包括牛顿三定律,其实都是从观测结果总结出的近似正确的结论.

    形式逻辑不是人工智能真正的方向. 形式逻辑解决不了的问题,也未必就是人工智能的极限.

  11. 裘德
    2013-06-03

    这个系列终于更新了。。

  12. GEEK
    2013-08-15

    新的啥时候更新,等的花也谢了.顺便求大神推荐书籍.

  13. versugw www.kuaipu.com.cn
    2013-11-28

    计算无处不在。

  14. Manwholiveswithhismom
    2014-05-31

    计算本质就是数学

  15. yuanwf
    2014-06-17

    后面的部分还没看懂,精心下来再读

返回顶部
移动 桌面