词条 哈斯凯尔·加里

哈斯凯尔·加里

哈斯凯尔·布鲁克·加里英语:Haskell Brooks Curry 英语发音:/ˈhæskəl ˈkɜri/,1900年9月12日-1982年9月1日),生于美国马萨诸塞州米里镇,数理逻辑学家,专长于组合子逻辑理论。尽管组合子逻辑的概念始于Moses Schönfinkel的一纸论文,其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论和柯里-霍华德同构而闻名。

编程语言Haskell、Brooks英语Brooks (programming language)与Curry都是以他的名字来命名的。

哈斯凯尔·加里简介资料
Millis
1900年09月12日
州学院
1982年09月01日
哈斯凯尔·加里相关文献
加里·哈默尔
早期生活毕业于圣安德鲁斯大学、罗斯商学院及密歇根大学职业生涯加里·哈默尔与普拉哈拉德是核心能力学说的鼻祖,伍德赛德研究所(一个非营利机构隶属于加州伍德赛德)研究员,曾在伦敦商学院担任战略管理及国际管理客座教授,教授MBA课程。
查看全文
丹尼尔·凯斯
简历1927年生于美国纽约布鲁克林区。于布鲁克林学院修习心理学,毕业后曾从事多种行业,包括杂志编辑、高中老师等。1959年首次发表短篇小说《献给阿尔吉侬的花束》即荣获雨果奖。1966年将故事长篇化,又再次获得星云奖。1966年起,凯斯在美国俄亥俄大学教授英语与写作课程。逝世前居住在俄亥俄州雅典市。知名著作《献给阿尔吉侬的花束》(FlowersforAlgernon,1966年)《第五位莎莉》(TheFifthSally,1980年)《24个比利》(TheMindsofBillyMilligan,1981年)《比利战争》(TheMilliganWars,1994年)《镜像姊妹》(TheAsylumProphecies,2010年)
查看全文
安娜贝尔·梅迪娜·加里格斯
WTA和ITF巡回赛冠军单打冠军(15)双打冠军(16)单打战绩表双打战绩表参考资料安娜贝尔·梅迪娜·加里格斯的国际网球总会职业/青少年官方资料(英文)FedCup-Playerprofile-AnabelMEDINAGARRIGUES(ESP)
查看全文
凯尔·查默斯
运动生涯2014年,查默斯参加了在中国南京举办的第2届夏季青奥会。虽然没有在个人项目上获得奖牌,但他仍获得了男子4×100米混合泳接力、男女混合4×100米自由泳接力以及男女混
查看全文
哈斯凯尔·加里
生平哈斯凯尔·柯里的父母萨麦尔·S·柯里和安娜·B·柯里经营一家教授修辞术的学院。1916年他进入哈佛大学,原先预备攻读医学,但很快就转换到数学领域。1920年毕业后,他在麻省理工学院工作两年,之后又回到哈佛大学继续学业,1924年得到物理学硕士学位,之后取得数学博士学位。在这段时期里,当他接触到阿尔弗雷德·诺思·怀特黑德和伯特兰·罗素在数学符号逻辑领域的尝试性著作《数学原理》后,柯里燃起了对数理逻辑的兴趣。在哈佛学习期间,柯里得到了数学博士学位。在他受乔治·戴维·伯克霍夫指引而研究微分方程的那段时间里,柯里的兴趣持续转向逻辑学。1927年柯里在普林斯顿大学时,他发现了MosesSchönfinkel关于组合子逻辑的成果。MosesSchönfinkel的成果预言了柯里自己的大部分研究,于是柯里去了哥廷根大学与熟悉MosesSchönfinkel工作的HeinrichBehmann、Pau...
查看全文
哈斯凯尔·加里相关标签
哈佛大学校友
1900年出生
普林斯顿大学教授
宾夕法尼亚州立大学教师
1982年逝世
麻省理工学院校友
美国数学家
数学家
数学家
家族谱大览
金竹排村王斯福家族谱
始祖 : 王斯福 散居地 : 香港新界金竹排村及广东省等地. 原书: 写本. 1963. [3]页 : 世系表.
浏览:100
白石斯氏斯村宗谱 [8卷,首1卷]
原书: [出版地不详] : 斯村老年协会村志谱册编纂小组, 1998年重修. 9册 : 插图, 世系表, 人像. 始祖(1世) : 斯伟,行肇一. 受姓祖(2世) : (魏) 斯敦,字友直,行启三. 本姓史. 先祖由磁阳徙浙江东阳后里. 居斯孝乡. 敦公下派祖(41世) : 斯德宁,行仍二十九(山头) ; 斯邦海,行仍三(白石) ; 斯邦兴,行仍一(佳巷) ; 斯珂,行富六(廊下). 邦海公下房祖(45世) : 斯正模,行德二十八(三房,子孙析置岭儿头,小桥,新庄等地) ; 斯正楷,行德十八(四房) ; 斯正椿,行德六(六房). 三房正模公下分祖(47世) : 斯有熊,行华二十四(大分) ; 斯有点,行华四十七(四分) ; 斯有鲸,行华五十一(五分) ; 斯有鲁,行华五十六(六分) ; 斯有黛,行华六十一(七分) ; 斯有樵,行华六十四(八分) ; 斯有蔗,行七十一(九分). 六房正椿公生六子(46世) : 斯尚汶,行荣二(六房大分) ; 斯尚泽,行荣七(六房二分) ; 斯尚涛,行荣十四(六房三分) ; 斯尚泾,行荣二十八(六房四分) ; 斯尚湘,行荣三十六(六房五分) ; 斯尚沛,行荣四十三(六房六分). 行派 : 肇启乾坤艮巽坎 兑震离福宁昌盛 皓广顺豫享忠孝 和怡清显廉明政 顺恭惠敬崇仁义 礼智信开宗仍贵 遇富德荣华贤良 丰中兴际泰运绍 履振家风温淳懿 行著意万代裕隆. 名辈(37世起) : 志兆用朝邦寿懋 成正尚有一文可 继首献光世德学 大以洪良克彦廷 嘉敬祖泽永元昌. 书名据书衣题, 书名页题, 及版心题编目. 卷端题 : 白石斯氏宗谱
浏览:0
白石斯氏斯村宗谱 [8卷,首1卷]
原书: [出版地不详] : 斯村老年协会村志谱册编纂小组, 1998年重修. 9册 : 插图, 世系表, 人像. 始祖(1世) : 斯伟,行肇一. 受姓祖(2世) : (魏) 斯敦,字友直,行启三. 本姓史. 先祖由磁阳徙浙江东阳后里. 居斯孝乡. 敦公下派祖(41世) : 斯德宁,行仍二十九(山头) ; 斯邦海,行仍三(白石) ; 斯邦兴,行仍一(佳巷) ; 斯珂,行富六(廊下). 邦海公下房祖(45世) : 斯正模,行德二十八(三房,子孙析置岭儿头,小桥,新庄等地) ; 斯正楷,行德十八(四房) ; 斯正椿,行德六(六房). 三房正模公下分祖(47世) : 斯有熊,行华二十四(大分) ; 斯有点,行华四十七(四分) ; 斯有鲸,行华五十一(五分) ; 斯有鲁,行华五十六(六分) ; 斯有黛,行华六十一(七分) ; 斯有樵,行华六十四(八分) ; 斯有蔗,行七十一(九分). 六房正椿公生六子(46世) : 斯尚汶,行荣二(六房大分) ; 斯尚泽,行荣七(六房二分) ; 斯尚涛,行荣十四(六房三分) ; 斯尚泾,行荣二十八(六房四分) ; 斯尚湘,行荣三十六(六房五分) ; 斯尚沛,行荣四十三(六房六分). 行派 : 肇启乾坤艮巽坎 兑震离福宁昌盛 皓广顺豫享忠孝 和怡清显廉明政 顺恭惠敬崇仁义 礼智信开宗仍贵 遇富德荣华贤良 丰中兴际泰运绍 履振家风温淳懿 行著意万代裕隆. 名辈(37世起) : 志兆用朝邦寿懋 成正尚有一文可 继首献光世德学 大以洪良克彦廷 嘉敬祖泽永元昌. 书名据书衣题, 书名页题, 及版心题编目. 卷端题 : 白石斯氏宗谱
浏览:0
白石斯氏斯村宗谱 [8卷,首1卷]
原书: [出版地不详] : 斯村老年协会村志谱册编纂小组, 1998年重修. 9册 : 插图, 世系表, 人像. 始祖(1世) : 斯伟,行肇一. 受姓祖(2世) : (魏) 斯敦,字友直,行启三. 本姓史. 先祖由磁阳徙浙江东阳后里. 居斯孝乡. 敦公下派祖(41世) : 斯德宁,行仍二十九(山头) ; 斯邦海,行仍三(白石) ; 斯邦兴,行仍一(佳巷) ; 斯珂,行富六(廊下). 邦海公下房祖(45世) : 斯正模,行德二十八(三房,子孙析置岭儿头,小桥,新庄等地) ; 斯正楷,行德十八(四房) ; 斯正椿,行德六(六房). 三房正模公下分祖(47世) : 斯有熊,行华二十四(大分) ; 斯有点,行华四十七(四分) ; 斯有鲸,行华五十一(五分) ; 斯有鲁,行华五十六(六分) ; 斯有黛,行华六十一(七分) ; 斯有樵,行华六十四(八分) ; 斯有蔗,行七十一(九分). 六房正椿公生六子(46世) : 斯尚汶,行荣二(六房大分) ; 斯尚泽,行荣七(六房二分) ; 斯尚涛,行荣十四(六房三分) ; 斯尚泾,行荣二十八(六房四分) ; 斯尚湘,行荣三十六(六房五分) ; 斯尚沛,行荣四十三(六房六分). 行派 : 肇启乾坤艮巽坎 兑震离福宁昌盛 皓广顺豫享忠孝 和怡清显廉明政 顺恭惠敬崇仁义 礼智信开宗仍贵 遇富德荣华贤良 丰中兴际泰运绍 履振家风温淳懿 行著意万代裕隆. 名辈(37世起) : 志兆用朝邦寿懋 成正尚有一文可 继首献光世德学 大以洪良克彦廷 嘉敬祖泽永元昌. 书名据书衣题, 书名页题, 及版心题编目. 卷端题 : 白石斯氏宗谱
浏览:0
白石斯氏斯村宗谱 [8卷,首1卷]
原书: [出版地不详] : 斯村老年协会村志谱册编纂小组, 1998年重修. 9册 : 插图, 世系表, 人像. 始祖(1世) : 斯伟,行肇一. 受姓祖(2世) : (魏) 斯敦,字友直,行启三. 本姓史. 先祖由磁阳徙浙江东阳后里. 居斯孝乡. 敦公下派祖(41世) : 斯德宁,行仍二十九(山头) ; 斯邦海,行仍三(白石) ; 斯邦兴,行仍一(佳巷) ; 斯珂,行富六(廊下). 邦海公下房祖(45世) : 斯正模,行德二十八(三房,子孙析置岭儿头,小桥,新庄等地) ; 斯正楷,行德十八(四房) ; 斯正椿,行德六(六房). 三房正模公下分祖(47世) : 斯有熊,行华二十四(大分) ; 斯有点,行华四十七(四分) ; 斯有鲸,行华五十一(五分) ; 斯有鲁,行华五十六(六分) ; 斯有黛,行华六十一(七分) ; 斯有樵,行华六十四(八分) ; 斯有蔗,行七十一(九分). 六房正椿公生六子(46世) : 斯尚汶,行荣二(六房大分) ; 斯尚泽,行荣七(六房二分) ; 斯尚涛,行荣十四(六房三分) ; 斯尚泾,行荣二十八(六房四分) ; 斯尚湘,行荣三十六(六房五分) ; 斯尚沛,行荣四十三(六房六分). 行派 : 肇启乾坤艮巽坎 兑震离福宁昌盛 皓广顺豫享忠孝 和怡清显廉明政 顺恭惠敬崇仁义 礼智信开宗仍贵 遇富德荣华贤良 丰中兴际泰运绍 履振家风温淳懿 行著意万代裕隆. 名辈(37世起) : 志兆用朝邦寿懋 成正尚有一文可 继首献光世德学 大以洪良克彦廷 嘉敬祖泽永元昌. 书名据书衣题, 书名页题, 及版心题编目. 卷端题 : 白石斯氏宗谱
浏览:0
白石桐院斯氏宗谱 [不分卷]
原书: [出版地不详 : 出版者不详], 1997年重修. 1册 : 人像. 始祖(1世) : 斯伟,行肇一. 由磁阳徙浙江东阳后里. 受姓祖(2世) : (魏) 斯敦,字友直,行启三. 本姓史. 居斯孝乡(今六石镇西后里). 桐院始迁祖(46世) : (明) 斯尚源,行荣十八. 生三子 : 斯有美 ; 斯有荣 ; 斯有华,行华三十八. 仁房祖(53世) : 斯献郁. 生三子 : 斯光桂(松房) ; 斯光松(竹房) ; 斯光槐(梅房). 智房祖(53世) : 斯献邦. 生二子 : 斯光辉 ; 斯光圣. 勇房祖(53世) : 斯献智. 生一子 : 斯光林. 散居地 : 浙江省东阳县等地. 书名据书衣题编目.
浏览:0