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

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

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

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

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

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

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

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

为什么要纠结于规则呢?因为规则不仅仅表现在表面上的运行机制,他还会被别人利用,在计算机领域 谁掌握的5g规则,谁就掌控了未来,规则还可以被商家利用,制造消费主义模式,利用欺骗  孤立  潜意识宣传从而达到自己规则生效的目的,如果无法认清楚规则背后的社会含义,将会被规则欺骗。

转载于:https://www.cnblogs.com/mrzhu/p/11428403.html

lambda演算感想之规则相关推荐

  1. Lambda演算学习笔记

    前言 blog好久没有更新了,上次更新还是4月28号.这段时间实在是很忙,4月的最后一周为了赶一篇论文,累死累活,最后在tom的帮助下总算在4月30号截稿之前完成了.4月29号的晚上一直改到了第二天凌 ...

  2. 【逻辑与计算理论】Lambda 演算的类型与其 Lambda 演算建模

    Lambda演算的类型 我们已经掌握了直觉逻辑(Intuitionistic Logic,IL), -------------------------------------------------- ...

  3. 【逻辑与计算理论】Lambda 演算——开篇

    原文来自Good Math/Bad Math的系列连载,全文分7章,本篇是第1章.中文博客负暄琐话对这个系列的前6章做过翻译,强迫症表示忍受不了「下面没有了」,于是自己动手做了全套.这里只对原文做了翻 ...

  4. 图灵机的逻辑等价形式——lambda演算简介

    译者述 才疏学浅,非数学专业,翻译尽量尊重原文,如有纰漏,海涵. 论文摘要 这篇论文是一篇简短易懂的lambda演算介绍.λ-calculus(lambda演算)是Alonzo Church开创,最初 ...

  5. “后序遍历二叉运算树进行Lambda演算的化简”带来的联系

    今天闲来无事,想到一个自以为绝妙的想法,那就是用后序遍历二叉树Lambda演算的化简. 数据结构与算法中,我们想写个计算器就必须遇到一个问题,表达式求值!其实表达式很多就是我们所谓的现实生活中的问题解 ...

  6. ES6函数与Lambda演算

    缘起 造了一个轮子,根据GitHub项目地址,生成项目目录树,直观的展现项目结构,以便于介绍项目.欢迎Star. repository-tree 技术栈: ES6 Vue.js Webpack Vue ...

  7. λ演算(lambda演算)原理通俗易懂的详细总结

    λ演算 中午我做了一个梦,梦里我写了一篇叫做"λ演算"的文章,我怕忘了所以一边做梦一边写了下来.所以下面的内容全部都是胡扯,一个字都别信. 总有文章会选择在开篇说一段废话 λ演算本 ...

  8. lambda演算解释器java,λ演算(Lambda Calculus)入门基础(二):丘奇编码(Church Encoding)...

    上一篇我们已经建好了lambda演算大厦的地基,接下来需要了解的就是如何在此基础上构造用于计算的一些通用工具了,比如自然数.布尔值.基本运算和布尔运算等等. 丘奇数(Church Numerals) ...

  9. 理解闭包的前置条件—— λ演算和作用域规则

    前言 这几天用Scala写了一堆流计算程序,在翻阅Scala文档时看到了闭包一节,不知怎么就回忆起了自己上大二时用JavaScript做创新项目的经历--因为JS闭包的原理对当时的我来说很费解,以至于 ...

  10. C++ 泛型编程/模板 泛函编程/Lambda/λ演算

    1.泛型编程(C++模板) 其中,Ada, Delpha, Java, C#, Swift 称之为 泛型/generics; ML, Scala和 Haskell 称之为 参数多态/parametri ...

最新文章

  1. tomcat安装及使用详解
  2. arguments.length
  3. Elasticsearch的Shield插件
  4. Python入门100题 | 第065题
  5. POJ - 2352 Stars(线段树/树状数组)
  6. 观察者模式在SAP UI5主题更改功能中的应用
  7. 春招已近,这份GitHub万星的ML算法面试大全请收下
  8. VTK模块学习(一)
  9. 高校学籍管理系统(SQL Server数据库课程设计)
  10. Chrome利器之FireShot:网页长截图工具
  11. 《大学生Python学习》社区正式运行,加入我们,每日学习,引燃青春~
  12. 【托业】【新托业TOEIC新题型真题】学习笔记13-题库四-P7
  13. matplotlib画三维图
  14. 使用Ryu实现交换式集线器(Switching hub)
  15. BigDecimal解读
  16. 爱了,阿里P9开源分享内部Java核心开发手册覆盖P5到P8
  17. Learned Motion Matching-动作生成算法
  18. pip 下载安装包及依赖包 并安装
  19. DirectX12_API流程入门篇
  20. JavaScript前端代码规范

热门文章

  1. 【Java】使用AOP进行异常处理与日志记录
  2. CSDN/博客园复制代码空格报错问题解决
  3. SQL 语句,聚沙成塔
  4. Mapped Statements collection already contains value
  5. HC05和电脑蓝牙通讯
  6. 回测系统backtrader(1)参考模板
  7. 微分中的dx和delta x
  8. Scrum立会报告+燃尽图(十月二十六日总第十七次)
  9. Spring课程 Spring入门篇 5-6 introductions应用
  10. python批量转换音频采样率