显示结果1到7分,满分7分

Lambda计算



  1. #1
    凯旋

    lambda calcul


    ------

    您好,我正在寻找一个乐趣的文档,并相对全面地呈现计算λ以及与计算理论的后果,也是在兰姆达计算和大脑的运作之间的新的哲学中的建议。

    -----

  2. 宣传
  3. #2
    调解

    Re : lambda calcul

    我想你在咖喱霍华德进行了搜索,但你落在了一个非常有趣的克里敏文章,其标题是Wigner Curry Howard ......
    我是查理。
    我断言任何强制性肯定是假的

  4. #3
    Bardamu.

    Re : lambda calcul

    引用 由..送出 凯旋 看消息
    (...)文档既有乐趣相对综合(......)
    Bonjour,
    俏皮且相对令人穷的=矛盾?
    谷歌搜索"Lambda脑计算"给出几个链接。
    引用 由..送出 调解 看消息
    (...)一个极其有趣的克里敏文章,其标题是Wigner Curry Howard ......
    如果我们找不到Krivine页面,她就在这里: http://www.pps.jussieu.fr/~krivine/
    你正在谈论的文章毫无疑问 这个那个 看起来很富裕。
    A noter aussi Quantum Lambda-chalulus的研究.
    伊士科,IV,43:Titillatio Transum Hubere Potest和Mala Esse。
    Spinoza

  5. #4
    调解

    Re : lambda calcul

    引用 由..送出 Bardamu. 看消息
    如果我们找不到Krivine页面,她就在这里: http://www.pps.jussieu.fr/~krivine/
    你正在谈论的文章毫无疑问 http://www.pps.jussieu.fr/~krivine/articles/arco.pdf"http://www.pps.jussieu.fr/~krivine/articles/ens_prv.pdf 看起来很富裕。
    我刚刚重读了第二个,我继续认为第一个是更富裕的,但很明显,对于一个非逻辑家来说,第二篇文章有关逻辑的更多细节,它是在我谦虚的意见中,无疑有用(对于非逻辑学家)以第二次以第二个开始,并将第一个继续。

    对于轶事:我发现逻辑,偶然,与克里敏(1973年),并继续在这一学科,热情地对数学一般,更准确的逻辑是最重要的乐器"décrire"的运作"pensée raisonnante"(除了所有生物学中),我承认我的推理是水平"café du commerce"与Krivine或Bayou相比,但我仍然喜欢我 :数学是普遍的(我只用人类的物种说话),但它不是对抗"réel",就像物理学一样,谁是这个普遍性的人,所以必须有其他东西:这些数学的生产者,"pensée raisonnante" .
    我是查理。
    我断言任何强制性肯定是假的

  6. 在futura上看视频
  7. #5
    Mumyo.

    Re : lambda calcul

    Bonjour,

    我喜欢逻辑/计算机科学之间的咖喱霍华德桥的故事。
    允许逮捕桥梁一侧的困难,看看另一方会发生什么......

    祝你有美好的一天,
    Mumyo.
    释放电子,总是在哪里我们不期望它,所以一切都站在......

  8. #6
    Bardamu.

    Re : lambda calcul

    引用 由..送出 调解 看消息
    (......)数学是普遍的(我只是谈到人类物种),但这并不是对抗"réel",就像物理学一样,谁是这个普遍性的人,所以必须有其他东西:这些数学的生产者,"pensée raisonnante" .
    另一方说:"我们表明真正的想法很简单或由简单的想法组成;我们展示了它的表现,以及如何以及为什么或已经完成;我们还表明,灵魂中的东西的客观效果发生在对象本身的形式的形象中,这与长老说的是同样的事情:真正的科学从原因进行了; 只有他们从来没有,我知道,象征着,正如我们在这里所做的那样,灵魂根据具体法律和作为一个 精神控制器."
    理解改革条约,斯宾诺加。
    伊士科,IV,43:Titillatio Transum Hubere Potest和Mala Esse。
    Spinoza

  9. 宣传
  10. #7
    凯旋

    Re : lambda calcul

    衷心感谢这些有价值的信息......顺便说一下,你读到的人"les démons de Godel"..写得非常好,慈善书......我向你建议你

类似的讨论

  1. [微生物学] 噬菌体λ
    由德迪尼亚尼亚在生物学论坛中
    答案: 3
    上一条消息: 06/03/2008, 21h25
  2. lambda搜索
    由Punkrollo在论坛生物恐慌栖息地,绝缘和加热
    答案: 4
    上一条消息: 01/12/2007, 15h13
  3. lambda = c t
    由Syracuse_66在物理论坛中
    答案: 2
    上一条消息: 05/09/2007, 14h21
  4. lambda ?? :)
    通过在论坛中的seblaidj天文设备和业余照片
    答案: 3
    上一条消息: 03/09/2006, 20h51
  5. 最大的lambda。
    通过Chrome VI在化学论坛中
    答案: 0
    上一条消息: 17/07/2004, 20h18