1909年1月5日美国数学家、逻辑学家斯蒂芬·科尔·克莱尼出生(2026-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已更新)
2012年9月28日中共中央决定开除薄熙来党籍公职(2025-9-28已更新)
- 2008年2月11日韩国首都首尔国宝第一号崇礼门发生大火烧毁(2026-2-11已更新)
- 1967年2月11日“怀仁堂碰头会”被定性为“二月逆流”(2026-2-11已更新)
- 1965年2月11日美国空袭北越(2026-2-11已更新)
- 1908年2月11日爱迪生获得发明电影放映机专利权(2026-2-11已更新)
- 1991年2月11日加拿大公民投票决定仍留在大英帝国内(2026-2-11已更新)
- 1970年2月11日日本卫星试射成功(2026-2-11已更新)
- 1937年2月11日国共两党就合作问题在西安谈判(2026-2-11已更新)
- 1889年2月11日日本《明治宪法》颁布(2026-2-11已更新)
- 1855年2月11日九江之战石达开大败曾国藩(2026-2-11已更新)
- 641年2月11日拜占庭帝国希拉克略王朝开国皇帝希拉克略逝世(2026-2-11已更新)
Copyright © 2019-2026 shaobg.com All Rights Reserved. 苏ICP备19027661号-1