14个回应

  1. Mir
    2015-10-12

    大赞系列!

  2. wxd356
    2015-10-13

    没有看懂,0阶命题有哪些命题可以写?除了关系以外

    • 方弦
      2015-10-13

      0阶命题可以写有界存在量词,也就是对应可判定问题,例如是否素数之类的,都可以。

  3. gundamfire
    2015-10-13

    不知道图灵诞辰110周年的时候能不能结束这个系列……

    • 方弦
      2015-10-13

      根据以往进度,还真的不一定……

      • 赵明毅
        2015-10-13

        TAT,方弦大大怎么这么久还写不完啊,能简要介绍一下后续内容么?

      • 方弦
        2015-10-16

        我平时也是很忙的,而且有些时候新番格外好看……其实后面的内容基本上已经确定了,但是还是让大家期待一下吧。

      • XQ
        2015-10-18

        新番格外好看23333333

  4. chirsz
    2015-10-13

    赞!

  5. 深海
    2015-10-17

    我只看到了类似DNA的东西。。

  6. mincomp
    2015-10-17

    1. 请问能解释一下吗?
    对于某个特定的偶数2n+4,我们能将“2n+4能写成两个素数的和”写成以下的逻辑命题:
    ∀a∀b∀c∀d∃p∃q.(n+n=p+q)∧(¬(p+2=a∗b)∨(a=1)∨(b=1))
    ∧(¬(q+2=c∗d)∨(c=1)∨(d=1))

    后面三个条件是怎么得出来的?我猜分别是2n+4=p+q,(p是素数),(q是素数),但是看不出来这个跟上面式子的联系?

    2. a和a'之间的图灵度是什么东西?能举个例子吗?

    • Illusiwind
      2015-10-20

      看上下文啊。是2n+4=p+2+q+2,所以简写成了n+n=p+q。
      后边p+2和q+2得是质数,也就是说(p+2=a*b)&&(a!=1)&&(b!=1)为否定,所以变成了!(p+2=a*b)||a==1||b==1。q的一样。
      数学符号不好打,用c语言符号了……

      • mincomp
        2015-11-01

        多谢!

  7. tes
    2015-10-19

    这个系列已经超过了我的逻辑和数理能力。。。。

返回顶部
移动 桌面