名人简介
  • 车载音乐
  • 车载视频
  • LRC歌词
  • 高清简谱
  • 手机铃声
  • 名人简介
  • 汽车知识
当前位置:首页 - 名人 - 逻辑学 - 斯蒂芬·科尔·克莱尼
斯蒂芬·科尔·克莱尼
斯蒂芬·科尔·克莱尼(Stephen Cole Kleene,1909年1月5日-1994年1月25日),出生于美国康涅狄克州哈特福德,毕业于普林斯顿大学,美国数学家、逻辑学家,其递归论研究有助于奠定理论电脑科学的基础,曾发现蝴蝶的新品种。</span>
展开

基本内容

  斯蒂芬·科尔·克莱尼(Stephen Cole Kleene,1909年1月5日—1994年1月25日)美国数学家、逻辑学家,出生于美国康涅狄克州的哈特福德。他的递归论研究有助于奠定理论电脑科学的基础。他的父亲古斯塔夫·克莱因(Gustav Adolph Kleene)是一位经济学教授,母亲艾丽丝·科尔(Alice Lena Cole)是一位诗人。克莱因曾就读于阿默斯特学院(Amherst),1934年获普林斯顿博士学位,他的导师丘奇(Alonzo Church)是著名的逻辑学家。丘奇在1936年使用lambda演算来证明了判定问题是没有答案的。二战期间成为美国海军的教员。他也是博物学家,曾发现蝴蝶的新品种。并且喜欢旅行和登山。

斯蒂芬·科尔·克莱尼

更新日期:2024-12-04

关于我们联系我们下载帮助免责声明版权声明用户协议隐私协议撤稿声明作品投搞免费下载常见问题网站地图

声明:网站内容全部来自于网络公开搜索结果,不保证100%准确性,仅供参考,如侵犯到您的权益,请提供版权证明来信通知,我们72小时内删除!

本站仅仅提供一个观摩学习的环境,非赢利性网站,将不对任何资源负法律责任,不接受任何赞助和广告!

删稿邮箱: zhdjxd@foxmail.com

Copyright @ 2023-2024 pc.pingguodj.com All Rights Reserved