Blog List View

To Be is to be Computable,存在即可計算 

2015-09-11 12:10:19
1394 次阅读

To Be is to be Computable,存在即可計算

 

存在即可計算,这里的計算不同于我们现在通常讲的图灵意义下的计算(这里的“計算”特意用的是繁体字,以区别简体的“计算”)。众所周知,图灵在他1936年的经典论文《论可计算数及其在判定问题中的应用》中以机械的方式,给出计算的形式化定义,以此奠定了现代意义下的计算科学。形式化可计算的概念是严格的、数学化的,凡是可计算的都可以通过图灵机来实现,在这种预设下,图灵的可计算和丘奇的lambda可定义和哥德尔的原始递归函数划上等号,它们彼此相互等价。形式化可计算的概念非常局限,它不能充分地阐述我们现实生活中所遇到的各种野生计算实例,更不能处理语义这个非常棘手的问题。按照蔡汀的话,如果在单位线段上行走,遇到可计算的点的概率几乎为0,这几乎会让我们对计算这尊神都多少产生一点蔑视。

在对计算的定义中,我们更欣赏布莱恩·坎特维尔·斯密斯的计算定义,它更敬畏计算的强大,这个可計算是交互性的、动态的、意向性的,能够很好地囊括一切野生计算,能够包容语义。这可計算的定义是我们新科学所主张的可計算。

存在即可交互!

存在即有意义!

存在即可計算!

 

 


发表评论