首页 52数学网

图灵机的改进者——克莱尼

时间:2018-01-12 栏目:美女 作者:52数学网

“数学史”上的今天:1909年1月5日,美国数学家、逻辑学家斯蒂芬•科尔•克莱尼出生。

“数学史”上的今天

1909年1月5日,美国数学家、逻辑学家斯蒂芬•科尔•克莱尼出生。

克莱尼出生于美国康涅狄克州,他的父亲古斯塔夫·克莱因是一位经济学教授,母亲艾丽丝·科尔是一位诗人。


克莱尼曾就读于阿默斯特学院,1934年获普林斯顿博士学位,他的导师丘奇是著名的逻辑学家。


克莱尼二战期间成为美国海军的教员,他也是博物学家,曾发现蝴蝶的新品种,并且喜欢旅行和登山。


数学家阿兰·图灵曾提出的一种抽象计算模型——图灵机,可以说是计算机的起源。它将人们使用纸笔进行数学运算的过程进行抽象,由一个虚拟的机器替代人们进行数学运算。

图灵机的艺术表示


在图灵机中,一类重要的函数就是数论函数,之所以这么称呼是因为它的输入和输出仅限于自然数。克莱尼对图灵的数论函数持怀疑态度,他认为图灵的方法对部分函数不适用,这些函数只对自然数的部分子集成立。


克莱尼后来写道:“虽然我很向往图灵所构想的机器的非凡能力,但我依然对他用如此简单的方法将此应用到数论函数的计算中表示怀疑。”


1941年开春,克莱尼在威斯康辛麦迪逊大学教授的一个数学基础研讨班上开始寻求一种不同的解决方法。克莱尼重新改进的图灵机在他1952年出版的经典图书《元数学引论》的第8节中占据了重要的位置。


斯蒂芬·克莱尼是第一个提出用形式化表示方法如何直观表达可计算性的人。他的递归论研究有助于奠定理论电脑科学的基础。


参考文献:

1. 百度百科

2. 图灵的秘密. Charles Petzold.人民邮电出版社

3. 历史上的今天


变形24点

本期题目:

用加、减、乘、除和括号,将“1909年1月5日”中的4个数:1,5,9,19进行计算,得到27。

上期答案:(16+1)×4-43=25

【“数学史”上的今天】栏目简介

本栏目以重大历史事件为线索,介绍数学和数学家的故事,数学与各种文化的关系等。让学生了解数学发展的脉络,认识到数学并不是孤立的学科,而是联系生活的方方面面的。另外,以历史事件发生的日期,算变形24点,提高学生的心算能力。

推荐阅读:

  • 站在巨人肩膀上的牛顿

  • 趣味逻辑推理(三)

  • 趣味逻辑推理(二)

  • 趣味逻辑推理(一)

  • 流体中的物理与数学

标签: 改进克莱图灵机

相关文章

微信热点文章