大家看到标题是不是都很诧异，是不是觉得小编搞错了。众所周知，世界上*台通用计算机ENIAC是1946年诞生的，怎么算也只有70多年，那么这2000年是从哪里来的？这事还真不是小编瞎说的，位于硅谷的“计算机历史博物馆”，是世界*也是最完整的计算机历史博物馆，在这里，就有这样一句标语：The First 2000 Years of Computing。这官方都“盖章”认证了，肯定不会是假的。
算盘的计算完全是在珠算口诀指令的控制下完成的机械运动，这也与之后的图灵机所描述的机械运动相一致。
计算机之父——图灵，他在1936年提出了一种抽象计算模型，其更抽象的意义为一种数学逻辑机，可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。
之后，数学逻辑思维也成为计算机运算的基本逻辑。
计算机起源于数学，而之后的发展，也与数学密不可分。不管是计算机刚起步阶段还是迅速发展的现在，计算机算法的正确性、程序的语义及其正确性的理论基础都是数理逻辑。
可以这样说，计算机之所以这样强大，离不开数学逻辑给予它强有力的支撑；同样，一个人的编程水平，也受限于他的数学逻辑思维水平。
在编程的过程中，如果编写人的数学逻辑思维清晰，那么他编写出来的程序肯定也清晰明了、执行力强。反之，如果他的数学思维不够，在软件编程会有很多的疑虑，而且写的程序也不够健全，缺乏逻辑。
比尔·盖茨年轻时就对数学很痴迷，而且就连微软的项目经理也都具备超强的数学思维，甚至有些还是数学专业的博士，从这儿也可以看出，一个科技公司对于数学人才的重视程度。
很多专业人士认为，数学思维能力和软件编程能力就像太极和拳击：
软件编程能力就像一个拳击手，能力强就出拳快，能直击给人重击；数学思维能力就像一个太极大师，从表面是看不出他的具备很强的内力，但往往一出手，就会知道他的内在功力。但是，拳击手生涯是有限的，越年轻越好，而太极大师都是资历越深越厉害。
因此，学计算机的学生，拥有一个强大的数学逻辑，对你未来的学习和*都有很大的帮助。而且，就像学太极一样，一定要跟一位资历深、能力强的行业领头人学习。
小编想说，这届同学真的是太幸运了！这次，小编重磅发布一个行业最高阶项目，计算机&数学*大牛导师为大家授课！
Joseph Halpern
美国国家工程院院士
&
讲席终身教授
任职学校：康奈尔大学
导师介绍：
Joseph Halpern导师现任美国国家工程院院士、康奈尔大学计算机科学讲席终身教授，曾任康奈尔大学计算机科学系主任，持有美国人工智能协会（AAAI；国际人工智能顶会）、美国计算机协会（ACM；全球历史最为悠久的计算机*）以及电气和电子工程师协会（IEEE；世界规模*的非营利性专业技术*）席位，拥有哈佛大学博士学位。
Joseph Halpern导师的研究聚焦分布式计算、不确定性、决策理论和博弈论推理，出版3本理论专著，发表技术出版物360余篇。
任职学校：
康奈尔大学（Cornell University）是一所位于美国纽约州伊萨卡的私立研究型大学，是美洲大学协会的十四个创始成员之一，也是常春藤盟校成员，计算机科学专业在2020年U.S.News美国大学排名位列第9。目前康奈尔校友逾24万名。
截至2018年10月，先后有超过58位校友、教职工和研究人员获颁诺贝尔奖（世界第十二）。学校孕育了1位菲尔兹奖得主、4位图灵奖得主。科学研究是康奈尔的兴学方针，在2004年7月至2005年6月之间的财政年度中，共有5.613亿美元被应用于各项领域的研究。
项目介绍：
项目内容包括数论、认知逻辑、集合基数等数学概念和理论，及其对计算机科学的指导作用。学生将通过逻辑趣题分析，完成数理逻辑证明，在项目结束时提交报告，进行成果展示。
项目大纲：
读心术难题：用模数运算解释读心术难题
认知逻辑：Kripke结构与多模态逻辑、逻辑公理探讨
常识：泥巴孩子难题、常识探讨、运用常识解读二将军问题
无穷集合的势、单射和满射:Cantor对角论证、连续统与自然数集的势、集合与其幂集的势
现在只需要一根网线，在家就能跟着导师做科研，完成课题后，不仅可以收获分量十足的科研经历，还有机会拿到导师推荐信。全英文授课，在提升竞争力的同时，英语水平也能大幅提升。真的是两全其美啊！
