阿隆佐·邱奇(1903年6月14日–1995年8月11日)是美国数学家,1936年发表可计算函数的第一份精确定义,对计算理论的系统发展做出巨大贡献。邱奇在普林斯顿受教并工作四十年,曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。并且,他发明了著名的λ演算。
精选百科
本文由作者推荐
阿隆佐·邱奇相关的文章
矢泽爱(日文:矢沢 あい),日本漫画家、插画家,1967年3月7日出生于日本兵库县。主要作品有《一起去吹吹风》《天堂之吻》《娜娜》《近所物语》《圣学园天使》等。
海湾战争(英语:Gulf War;阿拉伯语:حرب الخليج الثانية)又称第一次海湾战争,是指1990年8月2日至1991年2月28日期间,美国领导的联军和伊拉克之间,在伊拉克南部和科威特境内发生的一场局部战争。战争的起因是伊拉克在1990年8月2日入侵科威特,推翻了科威特政府,这次入
克里斯托弗·哥伦布(西班牙语:Cristóbal Colón;意大利语:Cristoforo Colombo,1452年9月22日—1506年5月20日),意大利探险家、殖民者、航海家,大航海时代的主要人物之一。出生于中世纪的热那亚共和国(今意大利西北部)。
鸡肉炒饭是一种食物,制作原料主要有鸡肉、米、盐等。焯蔬菜是尤其是绿叶蔬菜时,要在水开后加少许盐和油,蔬菜焯好后马上倒入凉水里冰一下。这样会使绿色蔬菜颜色更好看,味道也好吃。
尚可名片
这家伙太懒了,什么都没写!
作者