词条 斯蒂芬·科尔·克莱尼

斯蒂芬·科尔·克莱尼

斯蒂芬·科尔·克莱尼Stephen Cole Kleene,1909年1月5日-1994年1月25日)美国数学家、逻辑学家,出生于美国康涅狄克州的哈特福德。他的递归论研究有助于奠定理论计算机科学的基础,他也是正规表示法的发明者。

斯蒂芬·科尔·克莱尼简介资料
1909年01月05日
1994年01月25日
斯蒂芬·科尔·克莱尼相关文献
尼尔·斯蒂芬森
生平1959年,斯蒂芬森出生在美国马里兰州安妮阿伦德尔县,他的父亲是电子工程学和物理学教授,母亲是生物化学工程教授。1960年,他们家搬迁到伊利诺伊州。1966年,他们家搬迁到爱荷华州。1977年,斯蒂芬森在爱荷华州的一所高中毕业。高中毕业后,斯蒂芬森考入波士顿大学,他在大学里主修物理学和地理学,专门研究大型机械。1981年,斯蒂芬森拿到了地理学和物理学的学位。1984年以来,斯蒂芬森主要住在太平洋的西北地区,目前居住在西雅图。作品《大学》(TheBigU;1984年)《佐迪亚克》(Zodiac;1988年)《雪崩》(SnowCrash;1992年)《钻石时代》(TheDiamondAge,1995年)《编码宝典》(Cryptonomicon;1996年)《怪人》(Quicksilver;2003年)《混淆》(TheConfusion;2004年)《世界系统》(TheSystemofthe...
查看全文
斯蒂芬·科尔·克莱尼
生平他的父亲古斯塔夫·克莱因(GustavAdolphKleene)是一位经济学教授,母亲艾丽丝·科尔(AliceLenaCole)是一位诗人。克莱因曾就读于阿默斯特学院(Amherst),1934年获普林斯顿博士学位,他的导师丘奇(AlonzoChurch)是著名的逻辑学家。丘奇在1936年使用lambda演算来证明了判定问题是没有答案的。二战期间成为美国海军的教员。他也是博物学家,曾发现蝴蝶的新品种。并且喜欢旅行和登山。
查看全文
安德鲁·尼科尔
作品列表
查看全文
斯蒂芬·科尔伯
主要作品《每日秀》(1997年-2004年)TheDailyShow《冒险兄弟》(2003年)TheVentureBros《科尔伯报告》(2005年-2014年)TheColbertReport《巨大的惊喜》(2005年)TheGreatNewWonderful《无人知晓》(2005年)NobodyKnowsAnything《家有仙妻》(2005年)Bewitched《有糖果的陌生人》(2006年)StrangersWithCandy《巴菲特报告》(2008年)I.O.U.S.A《爱情大师》(2008年)TheLoveGuru《怪兽大战外星人》(2009年)MonstersVsAliens《斯蒂芬·科尔伯特晚间秀》(2015年)TheLateShowwithStephenColbertColbert跑步机2009年,美国宇航局为国际空间站设计了一个新的跑步机,它被发现号航天飞机在2009年...
查看全文
科尔-安东尼·唐斯
职业生涯2016年2月14日,唐斯参加NBA明星队赛技术挑战赛,先是取得长人组代表资格,接着在决赛击败波士顿赛尔提克伊塞亚·托马斯,夺得冠军。2016年5月15日,唐斯拿下131第一名选票,以565分的满分抱走年度最佳新秀。常规赛特色唐斯身手矫捷,是非常灵活的中锋。从篮下到三分线都是他的攻击范围,而且跑速惊人,曾经从中线甩开两名后卫冲到篮下扣篮。参考文献
查看全文
斯蒂芬·科尔·克莱尼相关标签
逻辑学家
1994年逝世
普林斯顿大学校友
安默斯特学院校友
1909年出生
数学家
发明家
数学家
家族谱大览
1.瓜尔佳氏家谱
原书: [出版地不详印 : 出版者不详], 清道光29[1849]. 8册 : 世系表. 不得复制. 本微卷缩小42倍率请用高度放大阅读机. 远祖 : 费信勇公,讳英东开 受姓始祖 : 尼雅济布 自第五代起始立六大门 : 长门阿炳安 ; 二门阿炎阿 ; 三门琳昌 ; 四门塞得立 ; 五门吴达善 ; 六门纳英阿. 散居地 : 松江省珲春县等地. 书名据卷端题及版心题. 书衣题 : 正红旗满洲哈达瓜尔佳氏家谱.
浏览:100
1.来氏家乘
原书: [出版地不详 : 出版者不详], 民国29[1940]后记. 46, 51页. 注 : 此族原属满州人,姓尼堪氏,入关后又姓杨. 入关始祖 : (清) 讨塞公,又作陶色 散居地 : 辽宁省辽阳县等地
浏览:100
萧山县前徐氏宗谱 [20卷]
原书: [出版地不详] : 承德堂, 清光绪25[1899]记事. 22册 : 插图, 世系表. 收藏者 : 日本东京 : 国立国会图书馆. 一世远祖 : (汉) 张良,字子房,赐谥文成. 此族本姓张, 后竹窻公奉父命赘于萧山娄氏, 遂居于县. 始祖 : (元) 张景哲. 命子赘于萧山娄氏. 萧山祖 : 张招,字宗定,号竹窻. 萧山改徐姓始祖 : (元明之际) 徐福,本姓张,初讳焘,字叔覆,号永祯,行筹九. 二大派祖(3世) : (明) 徐德,字原德,行一 ; 徐善,字原善,行二. 下分十房. 此谱仅含大房, 四房, 五房, 及七房资料. 大房祖 : (明) 徐鼎先,行一,谥敦本. 二传后分六支. 大房下六支祖 : 徐环,行良一,谥守拙 ; 徐囗(王间),行良二,谥守恒 ; 徐璔,行良三,字世奇 ; 徐璋,行良四,谥愿亨 ; 徐𤩽,行良五,谥笃素 ; 徐瓒,行良六,谥俟斋. 四房祖 : (明) 徐鼎祥,行四,谥履素. 五房祖 : (明) 徐鼎常,行五,谥雍睦. 五房下六支祖 : 徐骥,行武一,字伯房,号质庵 ; 徐骏,行武二,字伯良,号逸叟 ; 徐骕,行武三,字良实 ; 徐驸,行武四,字伯用,号直庵 ; 徐瑢,行武五,字伯温,号约斋 ; 徐瑚,行武六,字夏器. 七房祖 : (明) 徐鼎宁,行七,号质庵. 七房下十支祖 : 徐寅,行恩一 ; 徐采,行恩二 ; 徐景尼,行恩三 ; 徐寓,行恩四 ; 徐景奇,行恩五 ; 徐官,行恩六 ; 徐守,行恩七 ; 徐景元,行恩八 ; 徐景星,行恩九 ; 徐宰,行恩十. 散居地 : 浙江省萧山县等地. 书名据书名页题编目. 书衣题及版心题 : 萧山徐氏宗谱
浏览:0
萧山县前徐氏宗谱 [20卷]
原书: [出版地不详] : 承德堂, 清光绪25[1899]记事. 22册 : 插图, 世系表. 收藏者 : 日本东京 : 国立国会图书馆. 一世远祖 : (汉) 张良,字子房,赐谥文成. 此族本姓张, 后竹窻公奉父命赘于萧山娄氏, 遂居于县. 始祖 : (元) 张景哲. 命子赘于萧山娄氏. 萧山祖 : 张招,字宗定,号竹窻. 萧山改徐姓始祖 : (元明之际) 徐福,本姓张,初讳焘,字叔覆,号永祯,行筹九. 二大派祖(3世) : (明) 徐德,字原德,行一 ; 徐善,字原善,行二. 下分十房. 此谱仅含大房, 四房, 五房, 及七房资料. 大房祖 : (明) 徐鼎先,行一,谥敦本. 二传后分六支. 大房下六支祖 : 徐环,行良一,谥守拙 ; 徐囗(王间),行良二,谥守恒 ; 徐璔,行良三,字世奇 ; 徐璋,行良四,谥愿亨 ; 徐𤩽,行良五,谥笃素 ; 徐瓒,行良六,谥俟斋. 四房祖 : (明) 徐鼎祥,行四,谥履素. 五房祖 : (明) 徐鼎常,行五,谥雍睦. 五房下六支祖 : 徐骥,行武一,字伯房,号质庵 ; 徐骏,行武二,字伯良,号逸叟 ; 徐骕,行武三,字良实 ; 徐驸,行武四,字伯用,号直庵 ; 徐瑢,行武五,字伯温,号约斋 ; 徐瑚,行武六,字夏器. 七房祖 : (明) 徐鼎宁,行七,号质庵. 七房下十支祖 : 徐寅,行恩一 ; 徐采,行恩二 ; 徐景尼,行恩三 ; 徐寓,行恩四 ; 徐景奇,行恩五 ; 徐官,行恩六 ; 徐守,行恩七 ; 徐景元,行恩八 ; 徐景星,行恩九 ; 徐宰,行恩十. 散居地 : 浙江省萧山县等地. 书名据书名页题编目. 书衣题及版心题 : 萧山徐氏宗谱
浏览:0
萧山县前徐氏宗谱 [20卷]
原书: [出版地不详] : 承德堂, 清光绪25[1899]记事. 22册 : 插图, 世系表. 收藏者 : 日本东京 : 国立国会图书馆. 一世远祖 : (汉) 张良,字子房,赐谥文成. 此族本姓张, 后竹窻公奉父命赘于萧山娄氏, 遂居于县. 始祖 : (元) 张景哲. 命子赘于萧山娄氏. 萧山祖 : 张招,字宗定,号竹窻. 萧山改徐姓始祖 : (元明之际) 徐福,本姓张,初讳焘,字叔覆,号永祯,行筹九. 二大派祖(3世) : (明) 徐德,字原德,行一 ; 徐善,字原善,行二. 下分十房. 此谱仅含大房, 四房, 五房, 及七房资料. 大房祖 : (明) 徐鼎先,行一,谥敦本. 二传后分六支. 大房下六支祖 : 徐环,行良一,谥守拙 ; 徐囗(王间),行良二,谥守恒 ; 徐璔,行良三,字世奇 ; 徐璋,行良四,谥愿亨 ; 徐𤩽,行良五,谥笃素 ; 徐瓒,行良六,谥俟斋. 四房祖 : (明) 徐鼎祥,行四,谥履素. 五房祖 : (明) 徐鼎常,行五,谥雍睦. 五房下六支祖 : 徐骥,行武一,字伯房,号质庵 ; 徐骏,行武二,字伯良,号逸叟 ; 徐骕,行武三,字良实 ; 徐驸,行武四,字伯用,号直庵 ; 徐瑢,行武五,字伯温,号约斋 ; 徐瑚,行武六,字夏器. 七房祖 : (明) 徐鼎宁,行七,号质庵. 七房下十支祖 : 徐寅,行恩一 ; 徐采,行恩二 ; 徐景尼,行恩三 ; 徐寓,行恩四 ; 徐景奇,行恩五 ; 徐官,行恩六 ; 徐守,行恩七 ; 徐景元,行恩八 ; 徐景星,行恩九 ; 徐宰,行恩十. 散居地 : 浙江省萧山县等地. 书名据书名页题编目. 书衣题及版心题 : 萧山徐氏宗谱
浏览:0
萧山县前徐氏宗谱 [20卷]
原书: [出版地不详] : 承德堂, 清光绪25[1899]记事. 22册 : 插图, 世系表. 收藏者 : 日本东京 : 国立国会图书馆. 一世远祖 : (汉) 张良,字子房,赐谥文成. 此族本姓张, 后竹窻公奉父命赘于萧山娄氏, 遂居于县. 始祖 : (元) 张景哲. 命子赘于萧山娄氏. 萧山祖 : 张招,字宗定,号竹窻. 萧山改徐姓始祖 : (元明之际) 徐福,本姓张,初讳焘,字叔覆,号永祯,行筹九. 二大派祖(3世) : (明) 徐德,字原德,行一 ; 徐善,字原善,行二. 下分十房. 此谱仅含大房, 四房, 五房, 及七房资料. 大房祖 : (明) 徐鼎先,行一,谥敦本. 二传后分六支. 大房下六支祖 : 徐环,行良一,谥守拙 ; 徐囗(王间),行良二,谥守恒 ; 徐璔,行良三,字世奇 ; 徐璋,行良四,谥愿亨 ; 徐𤩽,行良五,谥笃素 ; 徐瓒,行良六,谥俟斋. 四房祖 : (明) 徐鼎祥,行四,谥履素. 五房祖 : (明) 徐鼎常,行五,谥雍睦. 五房下六支祖 : 徐骥,行武一,字伯房,号质庵 ; 徐骏,行武二,字伯良,号逸叟 ; 徐骕,行武三,字良实 ; 徐驸,行武四,字伯用,号直庵 ; 徐瑢,行武五,字伯温,号约斋 ; 徐瑚,行武六,字夏器. 七房祖 : (明) 徐鼎宁,行七,号质庵. 七房下十支祖 : 徐寅,行恩一 ; 徐采,行恩二 ; 徐景尼,行恩三 ; 徐寓,行恩四 ; 徐景奇,行恩五 ; 徐官,行恩六 ; 徐守,行恩七 ; 徐景元,行恩八 ; 徐景星,行恩九 ; 徐宰,行恩十. 散居地 : 浙江省萧山县等地. 书名据书名页题编目. 书衣题及版心题 : 萧山徐氏宗谱
浏览:0