Hacker News 史诗级论战:“图灵博导”阿隆佐·邱奇是不是计算机...

1.Scott曾经亲自问过JohnMcCarthy(Lisp语言的发明者,这门语言的诞生是对阿隆佐·丘奇的λ演算系统的实现)为什么邱奇选择了lambda——McCarthy说,他不知道2.Scott在普林斯顿求学期间,邱奇从未讨论过lambda演算3.JohnAddison(邱奇的女婿)曾经写明信片询问邱奇这个符号的由来,邱奇在回信的边缘只...

牛顿—莱布尼茨公式?莱布尼茨—牛顿公式?|数学|字母|物理学|微...

莱布尼茨虽然也独立发现了微积分的许多重要内容,并且发明了微分和积分的符号,但牛顿在物理学上的贡献使得他的名字常常与微积分相关联,特别是在英语世界中。这种命名顺序反映了各自的历史影响和贡献背景。实际上,在德语和法语中,莱布尼茨的名字更常被提到,尤其是因为他在微积分的符号化方面有重要贡献。来源|数学往事...

她是浪漫主义诗人拜伦的女儿,也是历史上第一位程序员

但早在1826年,巴贝奇就发明了一种他称之为机械符号的东西,旨在为机械运算提供一种符号表示,就像数学符号为数学运算提供一种符号表示一样。早在1826年的时候,巴贝奇就已经对没人赏识他的发明而失望了。毫无疑问,人们当时并不理解它,因为即使是现在,也没人能搞清楚它是如何工作的。但这可能是巴贝奇最伟大的发...

封面人物丨这位名师30年找到一条数学蹊径:不再“教数学”,而是让...

当大家把问题归纳为“设计一组表示方向的符号”时,就形成了对数学的共同理解,后续的发现、发明也就水到渠成了。经过漫长的理念孕育、框架搭建和资源整理,胡赵云大约在十年前提出了“发现数学”理念:数学是思考的学科;学生能通过思考数学,发现数学的知识、方法、结构与语言;学生能通过发现数学,发展全思维的能力,感...

AI的开山鼻祖们

(3)雷·所罗门诺夫(RaySolomonoff,1926–2009)是美国数学家。他于1956年发表了第一份关于非语义机器学习的报告,于1960年发明了算法概率,并发表了推出柯尔莫哥洛夫复杂性和算法信息论的定理,是算法信息论和概率人工智能分支的创始人。在1960年加州理工学院的一次会议上首次描述了这些结果,并在1960年...

天才科学“玩”家、信息论之父的游戏人生

他自称是一个不关心政治的无神论者，他小时候玩发明，长大后玩数学，老了玩股票，什么好玩就玩什么，科学技术领域给玩了个遍(www.e993.com)2024年12月19日。他不在乎这样东西有没有实用价值，不管那套理论有无学术意义，不考虑做的事情对公司有无贡献，不管这个问题是否重要，他只管好玩还是不好玩。他的名字算不上广为人知，但他被誉为信息论...

加减乘除是谁发明的?

加减乘除是谁发明的?加减乘除符号的发明法国数学家许凯在1484年写成的《算术三篇》中,使用了一些编写符号,如用D表示加法,用M表示减法.这两个符号最早出现在德国数学家维德曼写的《商业速算法》中,他用“+”表示超过,用“—”表示不足.到1514年,荷兰的赫克首次用“+”表示加法,用“—”表示减法.1544年,...

既然是古印度的发明,为啥要叫阿拉伯数字呢?

阿拉伯数字原本是印度人发明的,但是因为阿拉伯才是使其通行全球的最大功臣,所以它便被称为阿拉伯数字而非印度数字。不少人因此产生了误会,以为是阿拉伯人发明了这种数字符号。起初,阿拉伯数字流传到欧洲时,其写法与现在人们常用的写法尚有一定的区别。后来在欧洲数学家的努力下,才有了今天这种简单、明了的写法。

书单精彩选读|《美妙的数学》(插图珍藏版)

据说阿拉伯数字是印度人发明的,后传入阿拉伯国家,经阿拉伯人改进、使用,因其简便、易书写而传遍整个世界,成为流行至今的通用记数符号。有了记数方法,人们还要去发明、创造数学运算,比如加、减、乘、除……为了数学运算方便,当然需要实用、简单又准确的计算工具。始于汉代、成形于明代的算盘是我国在计算工具上曾领先...

为什么动物能识别数字,但只有人类发展出了数学

但是随着对数字的需求不断增长,我们开始使用更先进的符号系统来表达数字。今天,大部分人使用印度-阿拉伯数字系统计数。这是一个神奇的发明,只用了十个符号(0-9)在位置系统下排列就能够表达无穷的数字。表示小数值的单词往往在儿童最早学会的几百个单词之中,他们能够轻易地背诵“一-二-三-四-五”这样的数字序...