一般递归函数、λ表达式、图灵机
来源:互联网 发布:c语言如何编写小游戏 编辑:程序博客网 时间:2024/05/14 12:52
《编程导论(Java)·0.1.1 计算简史*》
面向对象的根在哪?
p5:【计算的边界在哪里?什么样的运算可以用机器来实现呢?什么是可计算的、什么是不可计算的?
为此数理逻辑学家们各显其能提出了各种模型,如哥德尔的一般递归函数、丘奇的λ表达式以及艾伦·图灵(Alan Turing)的图灵机。图灵对彼此的工作进行了比较,发现丘奇和哥德尔的模型与自己的抽象计算机,在计算能力上是等价的!】
以一般递归函数、λ表达式、图灵机为根,出现了
- 基于图灵机的过程/命令编程范式,
- 基于λ运算的函数编程范式,
- 基于一阶逻辑(一般递归函数)的逻辑编程范式
而可怜的面向对象编程范式没有直接的、源于计算科学的理论模型。对象技术的实际发展始于1966年。Kisten Nygaard和Ole-Johan Dahl开发了Simula语言,最初被多数人视为一种不切实际的方法和满足一时好奇心的研究。
【page49:它似乎如同拼地图的男孩那样,仅仅是因为思考方式(观念范式)发生了变化。各种面向对象编程语言吸收了命令范式和函数范式大量技术,它之所以被称为“新”范式,正因为它采用了完全不同的看待程序的视角。
除了新的视角和思考方式,它还剩下什么呢?好像没有,或者所有。面向对象编程范式的正确性在于,它是真正的人的思路。从编程语言的发展规律看,功能分解、模块和信息隐藏、抽象数据类型等等为对象技术的出现奠定了基础,虽然对象技术始于1966年,在当时属于超前的、不切实际的思想。】
to:什么是面向对象编程范式 home
google:一般递归函数 λ表达式 哥德尔
0 0
- 一般递归函数、λ表达式、图灵机
- 函数表达式---递归
- 一般线性递归函数的伪递归优化方法
- Lambda表达式编写递归函数
- 图灵机
- 图灵机
- 图灵机
- 图灵机
- 图灵机
- 图灵机
- 一个递归计算数学表达式的函数
- js 函数表达式-递归 小例子
- 递归的一般方法
- 一般函数
- 一般函数
- C语言之函数调用16—递归法之一般函数的调用(1)
- C语言之函数调用17—递归法之一般函数的调用(2)
- 一般正则表达式(一)
- JAVA学习-内部类
- ACM从零开始---电子科大POJ "统计单词"
- MySQL select into outfile 语法
- 7_1
- FPGA机器学习之stanford机器学习第六堂
- 一般递归函数、λ表达式、图灵机
- 重载和double dispatch
- Qt使用动态链接库(简介)
- 关于cocos2dx程序的BUG调试解决方案
- Linux上的基础网络设备详解
- 千辛万苦----MyEclipse安卓开发环境----
- UIScrollView的属性,方法使用小结
- Q4.7
- html 上传样式 file的修改