1909年1月5日美国数学家、逻辑学家斯蒂芬·科尔·克莱尼出生(2025-1-5已更新)
任务文章(作)
斯蒂芬·科尔·克莱尼 1909年1月5日,美国数学家、逻辑学家斯蒂芬·科尔·克莱尼出生。 斯蒂芬·科尔·克莱尼(Stephen Cole Kleene,1909年1月5日—1994年1月25日),出生于美国康涅狄克州的哈特福德。他的递归论研究有助于奠定理论电脑科学的基础。他的父亲古斯塔夫·克莱因(Gustav Adolph Kleene)是一位经济学教授,母亲艾丽丝·科尔(Alice Lena Cole)是一位诗人。 克莱因曾就读于阿默斯特学院(Amherst),1934年获普林斯顿博士学位,他的导师丘奇(Alonzo Church)是著名的逻辑学家。 在1936年使用lambda演算来证明了判定问题是没有答案的。二战期间成为美国海军的教员。他也是博物学家,曾发现蝴蝶的新品种。并且喜欢旅行和登山。
2015年7月15日北京三里屯优衣库视频事件(2024-7-15已更新)
2014年9月1日好莱坞多女星艳照泄漏(2025-9-1已更新)
1993年5月5日甘肃、内蒙古、宁夏发生特大黑风暴 造成85人死亡(2024-5-5已更新)
- 1972年12月18日中国男歌手杨坤出生(2025-12-18已更新)
- 1978年12月18日我国参加首次全球大气试验(2025-12-18已更新)
- 1995年12月18日联合国宣布1996年为国际消除贫困年(2025-12-18已更新)
- 1971年12月18日美元在第二次世界大战后首次贬值(2025-12-18已更新)
- 1950年12月18日埃特纳火山爆发(2025-12-18已更新)
- 1949年12月18日奥威尔著新著《一九八四年》发表(2025-12-18已更新)
- 1021年12月18日北宋政治家、文学家王安石出生(2025-12-18已更新)
- 1981年12月18日阿尔巴尼亚劳动党中央政治局委员谢胡“自杀身亡”(2025-12-18已更新)
- 1921年12月18日演员孙道临出生(2025-12-18已更新)
- 1953年12月18日考古队在尼罗河畔挖掘出卡纳克神庙遗迹(2025-12-18已更新)
Copyright © 2019-2025 shaobg.com All Rights Reserved. 苏ICP备19027661号-1