各位尊敬的用户:115工具箱从2011年2月10日起将正式更名为114啦工具箱,同时域名更改为:tool.114la.com详情

2011年1月5日  农历腊月初二  星期三

返回列表

1909年的今天
美国数学家、逻辑学家斯蒂芬·科尔·克莱尼出生

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

历史上的其他出生
1876 年

联邦德国第一任总理康拉德·阿登纳诞辰

1900 年

中国京剧表演艺术家荀慧生诞辰

1902 年

法国《世界报》创始人伯夫·梅里出生

1909 年

美国数学家、逻辑学家斯蒂芬·科尔·克莱尼出生

1921 年

瑞士剧作家,小说家弗里德里希·迪伦马特出生

1921 年

前卢森堡大公让大公出生

1928 年

巴基斯坦总统、巴基斯坦人民党创始人佐勒菲卡尔·阿里·布托诞辰

1928 年

前美国副总统沃尔特·蒙代尔诞辰

快速查询

公历一年中的第 5 天,离全年结束还有 360 天。