t**r
发帖数: 3428 | 1 谁能用本科生就能理解的语言解释图灵机和拉姆达计算的区别 |
g****t
发帖数: 31659 | 2 Church,turing,Godel 的文章，没有用到高等数学。
中学生可以懂。但你要学一点数理逻辑，知道谓词演算什么的，
就是类似于几个if else别把逻辑条件给弄晕了即可 |
w***g
发帖数: 5958 | 3 我觉得你这个问题应该改成:
谁能用本科生就能理解的语言解释图灵机和拉姆达计算的共同点.
这两个东西从定义看, 几乎完全没有关系. 对于两个没关系的东西,
一般人不会去问他们有什么区别.
【在 t**r 的大作中提到】
: 谁能用本科生就能理解的语言解释图灵机和拉姆达计算的区别
|
g****t
发帖数: 31659 | 4 这个不容易证明。当年是图灵自己证明的。
简化证明我印象里：
用图灵机写一个lambda解释器。证明Turing 》 Lambda
然后还用Y combinator证明一个Turing 《 General recursive （Godel）
然后用Church coding证明 Godel= Church
A》B，B《A 所以能力相同?
步骤我记不太清了。very shock
【在 w***g 的大作中提到】
: 我觉得你这个问题应该改成:
: 谁能用本科生就能理解的语言解释图灵机和拉姆达计算的共同点.
: 这两个东西从定义看, 几乎完全没有关系. 对于两个没关系的东西,
: 一般人不会去问他们有什么区别.
|
g****t
发帖数: 31659 | 5 王垠其实就是搞懂了第二步，所以很上瘾，LoL
【在 g****t 的大作中提到】
: 这个不容易证明。当年是图灵自己证明的。
: 简化证明我印象里：
: 用图灵机写一个lambda解释器。证明Turing 》 Lambda
: 然后还用Y combinator证明一个Turing 《 General recursive （Godel）
: 然后用Church coding证明 Godel= Church
: A》B，B《A 所以能力相同?
: 步骤我记不太清了。very shock
|
g****t
发帖数: 31659 | |
t**r
发帖数: 3428 | 7 受教了
【在 g****t 的大作中提到】
: 这个不容易证明。当年是图灵自己证明的。
: 简化证明我印象里：
: 用图灵机写一个lambda解释器。证明Turing 》 Lambda
: 然后还用Y combinator证明一个Turing 《 General recursive （Godel）
: 然后用Church coding证明 Godel= Church
: A》B，B《A 所以能力相同?
: 步骤我记不太清了。very shock
|
g****t
发帖数: 31659 | 8 以我前面贴的notes为准。我的记忆不一定可靠。
【在 t**r 的大作中提到】
: 受教了
|
