Haskell布鲁克斯咖喱
美国数学家
验证引用
尽管已经尽一切努力跟随引文样式规则,可能会有一些差异。请参考适当的样式手册或其他来源的如果你有任何问题。
选择引用样式
反馈
谢谢你的反馈
我们的编辑器将检查你提交并决定是否修改这篇文章。
Haskell布鲁克斯咖喱(出生于1900年9月12日,米尔斯,麻萨诸塞州,美国宾夕法尼亚州立大学,死于1982年9月1日),美国数学家和教育家的研究逻辑导致了他的理论正式的系统和流程以及制定的逻辑演算使用推理规则。
咖喱毕业哈佛大学1920年,收到了研究生学位制度(点,1924)哥廷根大学(博士,1929)。他曾在哈佛大学的学院(1926 - 27)普林斯顿大学(1927 - 28)之前成为助理教授数学在宾夕法尼亚州立大学1929年,他仍然超过35年了。
yabo亚博网站首页手机大英百科全书测验
数字和数学
在第二次世界大战咖喱作为一个数学家在诸如法兰克福特镇阿森纳和应用物理实验室研究员约翰霍普金斯大学。1966年,他成为阿姆斯特丹大学的数学教授。他的作者组合逻辑(1958);与罗伯特fey),处理的系统形式逻辑他在1930年代开发的,数理逻辑的基础研究生院(1963),一种广泛使用的教科书。