lambda演算感想之规则

Posted mrzhu

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了lambda演算感想之规则相关的知识,希望对你有一定的参考价值。

在lambda演算中,丘奇创建了丘奇数,在理解丘奇数的过程中,逐渐颠覆了一些以前的认知,丘奇数用自己的方式重新定义了数字,即:

  • 0是 lambda s z . z 
  • 1是 lambda s z . s z 
  • 2是 lambda s z . s (s z)

在理解丘奇数的过程中,我一直在纠结于为何丘奇就可以创建一个数字代表0 1 2,然后还在其中加入了运算规则,因为在我之前的认知中,数字是神圣的,他就像客观事物中的一草一木一样,是不可以被替代的,所以我们不可能在创建一个丘奇数来代替数字,因为数字是唯一的 不可替代的,然而丘奇数还是出现了,而且被奉为经典,所以一定是我的认知出错了,于是我继续探寻数字的本质:最终得到结果,数字只不过是现实事物的映射,而运算规则是现实事物相互作用力的映射,具体可以看:计算的本质</>

 然而从理解数字的本质开始,我就不得不开始重新理解我们的现实世界,既然数字只是被认为创造出来的,那现实世界中一些我们奉为金汤的规则是否就一定坚不可破呢?这里的意思不是去质疑现实世界,而是说我们必须理解现实世界规则的本来面目,然后才能去遵守这些规则,我们必须理解现实世界规则创建的最本质原因,才能更好的理解现实世界,而不是仅仅为了遵守规则而去遵守规则,而不去思考规则的本来奥义,为什么这样说呢?在中国的硬式教育体制下,学生所学到的不过是一些符号,很少有老师会向学生讲解符号所代表的本来奥义,因为这不仅仅浪费时间,而且与考试无益,考试只是为了让学生明白一个符号与另一个符号在一起所产生的另一个符号是什么?而这又有什么意义呢?

比如说英语:单词本身毫无意义,单词只是日常生活中意志的传递,学习英语最快的方式是多余外国人对话和互动,因为只有和外国人进行对话 互动,本质上是意志的传递,在这个过程中单词 语法自然而然的就掌握了。而单词的背诵更像是一种为了下次更容易的与外国人交流所采取的一种手段。可是在这里英语已经脱离了外国人而独立存在,英语的话语权已经不在外国人手里了,英语更像是之前的论语一样,变成了研究的对象,在这里英语成绩好意思是对英语这门学科的研究程度很高,明确明白每一种语法和不同单词在不同语境的含义。这不就是英语版的科举吗?

比如说节日:节日不是目的,节日是手段,节日是为了庆贺某一事物而举办,一旦节日脱了了初衷,节日本身将变得毫无意义,最后也将消失。

在人类社会中任何事物都是人为创造的规则,一个人从生下来就开始接触人类社会,很多时候很难去思考这些日常生活中事物的本质,从而也就越来越脱离了事物的本源,成为了规则的牺牲品,比如说现在我们习以为常的手机,在一个新生儿降生的时候,他要逐渐熟悉这个社会,理解这个社会的规则,这当然是必要的,但是在理解的过程中,很容易将规则认为是正常的 或本来就是的,有时候有些人会认为手机是本来就存在的事物,这当然很可笑,但是在我们日常生活中 这些事情不是经常遇到吗?

很多时候规则的初衷是好的,但是规则很容易被人利用,比如说儒家,儒家的创立本来是为了结束战国乱世,需要将会人们仁义礼智信,只要严格遵守了这些规则,人们之间就会减少纷争,或者说以儒家作为规则衡量社会行为的一切的正确与否,这本意是好的,但是我们看到后期的明清 将规则作为工具,人们恪守着儒家的规则,把违法儒家规则视为大逆不道,这不就是物极必反吗?如果把儒家规则比喻为牛顿三大定律,那在现代物理学中 我们已经发现很多地方 牛顿三大定律根本无法生效,也就是微观量子学和宏观的时空学,同样我们也会不断发现很多社会儒家规则很难去生效,这个时候如果还是强硬的遵守儒家规则岂不是为了规则而规则了吗?

我们又为何去追逐本心呢?因为人类社会中制定了太多的规则,在现代社会中,人很多时候都是规则的产物,我们来到世界 不断的学习规则 理解规则,但是在不经意间却又受到规则的影响,我们的意识很多时候都是被这些规则所打造的,我们来到这里 意识被儒家规则打造过 被共产注意打造过,所以很多时候的行事规则和是非的判断本质上都是这些规则的判断,然而这些规则终究是代表不了我们自己的,不断寻找到自己的本心,做自己感兴趣的事情,才能投入百分百的精力创造属于自己的辉煌。

 

以上是关于lambda演算感想之规则的主要内容,如果未能解决你的问题,请参考以下文章

是否可以有效地评估 lambda 演算项?

λ演算 (Lambda Calculus) 一 : 定义与函数式编程

如何测试 lambda 演算?

Lambda 演算前导函数约简步骤

是否有可能构建一个相对快速的无类型 lambda 演算机?

Lambda演算 - 简述Y组合子的作用