斯蒂芬·科尔克林
美国数学家
验证引用
尽管已经尽一切努力跟随引文样式规则,可能会有一些差异。请参考适当的样式手册或其他来源的如果你有任何问题。
选择引用样式
反馈
谢谢你的反馈
我们的编辑器将检查你提交并决定是否修改这篇文章。
斯蒂芬·科尔克林(生于1909年1月5日,哈特福德美国康涅狄格州1994年死于1月25日,麦迪逊威斯康星州),美国数学家和逻辑学家的递归理论帮助理论奠定基础计算机科学。
克林是受过教育的阿默斯特学院(学士,1930) and earned a Ph.D. in数学在普林斯顿大学在1934年。普林斯顿大学教学短暂之后,他加入了威斯康辛大学在麦迪逊作为讲师,1935年成为正教授在1948年。他在1979年退休。
yabo亚博网站首页手机大英百科全书测验
数字和数学
克林的研究致力于理论算法和递归函数(也就是说,函数定义在一个有限的组合序列步骤)。克林,连同西德尼教堂,库尔特·哥德尔,阿兰·图灵、和其他领域的发展递归理论,这使得它可以证明某些类的数学问题是否解决或不能解决的。递归理论反过来导致了理论可计算的功能,管理这些功能可以被计算数字计算机。克林的作者介绍元数学(1952)和数理逻辑(1967)。