Hi～欢迎来到集思科研星球
计算机拥有两千年的历史？
大家看到标题是不是都很诧异，是不是觉得学姐搞错了。
众所周知，世界上第一台通用计算机 ENIAC 是 1946 年诞生的，怎么算也只有70多年，那么这2000年是从哪里来的？
这事还真不是学姐瞎说的，位于硅谷的“计算机历史博物馆”，是世界最大也是最完整的计算机历史博物馆，在这里，就有这样一句标语：
The First 2000 Years of Computing
这官方都“盖章”认证了，肯定不会是假的。
原来，这里的2000年，是指中国算盘的历史。在科学史专家们的眼里，中国的算盘就是最早的计算机，而算盘之所以会成为计算机，最重要的原因是：珠算口诀。
算盘的计算完全是在珠算口诀指令的控制下完成的机械运动，这也与之后的图灵机所描述的机械运动相一致。
计算机之父——图灵，他在 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对角论证、连续统与自然数集的势、集合与其幂集的势
现在只需要一根网线，在家就能跟着顶尖导师做科研，完成课题后，不仅可以收获分量十足的科研经历，还有机会拿到导师推荐信。全英文授课，在提升竞争力的同时，英语水平也能大幅提升。
真的是两全其美啊！
只需动动手指
个人学术水平就能得到质的飞跃
快来扫码了解一下吧！
