欢迎进入币游官网(币游国际官网),币游官网:www.9cx.net开放币游网址访问、币游会员注册、币游代理申请、币游电脑客户端、币游手机版下载等业务。

首页快讯正文

usdt交易平台(www.caibao.it):魔幻现实!英国百年名校以为基础数学没用,要裁掉数学系补助AI研究,图灵听后笑了笑

admin2021-02-03103

USDT第三方支付API接口

菜宝钱包(caibao.it)是使用TRC-20协议的Usdt第三方支付平台,Usdt收款平台、Usdt自动充提平台、usdt跑分平台。免费提供入金通道、Usdt钱包支付接口、Usdt自动充值接口、Usdt无需实名寄售回收。菜宝Usdt钱包一键生成Usdt钱包、一键调用API接口、一键无实名出售Usdt。

原题目:魔幻现实!英国百年名校以为基础数学没用,要裁掉数学系补助AI研究,图灵听后笑了笑

魔幻现实!英国百年名校以为基础数学没用,要裁掉数学系补助AI研究,图灵听后笑了笑

作者

| 青暮

编辑 | 陈大鑫

莱斯特大学是英国的一所着名公立研究型大学。克日,这所即将迎来百年诞辰的大学发生了一件令人大跌眼镜的事情。

莱斯特大学副校长Nishan Canagarajah提议开除大学里所有8名纯数学家,包罗仅有的2名具有终身教职的女性数学家。此外,只保留3名数学讲师教授本科数学课程。

管理层声称:为了确保莱斯特大学未来在人工智能、盘算建模、数字化和数据科学领域的研究职位,我们需要住手纯数学研究,从而能投资和生长这些领域。

也就是说,管理层设计舍弃纯数学,以生长人工智能、数据科学等时下热门学科。

此事在Reddit的数学板块中引起了轩然 *** ,相关帖子热度到达1700,帖子题目还专程指出: 这不是在开顽笑!

莱斯特大学的管理层在1月18日写信给145名员工,示意他们有被裁员的风险。管理层称他们的设计为“ 塑造卓越”。

曾任莱斯特大学历史教授的Emma Battell Lowman在推特上云云形貌:

在莱斯特大学第二学期本科教学的第一天,许多大学里的职员刚刚通过电子邮件收到通知,由于重大和迫切的裁员,他们的事情变得岌岌可危。

此外,受影响的不止是数学学科,凭据莱斯特大学工会(UCU)的说法,英语、商业、信息学、数学与精算科学,以及神经科学、心理学和行为科学都被列入了“黑名单”,一共涉及145人。

1 倒戈使命

莱斯特大学以教学和研究着名。2008年,莱斯特大学被泰晤士高等教育评为年度大学,也是唯一一所延续七年获得泰晤士高等教育奖的大学;2016年泰唔士高等教育杂志天下大学排名中,莱斯特大学名列天下第167位,其中国际声望和研究引用率划分位列前10%及20%;莱斯特大学的教学水平异常高,19个学科被高等教育质量保证局评为“优异”;在 英国学生满意度观察中,曾经逾越剑桥大学,赢得第一名。

拥有云云成就和多年历史的大学一样平常会异常重视基础学科,发生这样的事情着实令人难以相信。

事实上,该大学在2016年就设计推行这项决议,但被那时的 *** 所压制。介入 *** 的代表人物中,就有 莱斯特大学前任校长、著名英国数学家Michael Atiyah

Michael Atiyah被誉为现代最伟大的数学家之一,他曾获得菲尔兹奖、科普利奖章、阿贝尔奖。 声称证明了黎曼料想的数学家就是他。2019年1月11日,Michael Atiyah逝世,享年89岁。

为 *** 这项决议,莱斯特大学工会发表声明,示意Nishan Canagarajah已放弃其作为学术监护人的责任,“ 他倒戈了我们大学的历史和使命,不适合向导该大学。

工会以为,管理层的许多设计都是基于外部照料(例如dataHE和The Knowledge Partnership)提供的讲述,同时拒绝公然这些讲述,“这违反了尺度的科学方式”。而通过对这两个咨询机构的观察,公会示意,他们的方式存在很大问题

莱斯特大学工会成员以压倒性多数投票支持对Nishan Canagarajah的不信任议案。约莫200名工会成员在1月25日的特别会议上投票,98%的人支持,没有人否决。

Nishan Canagarajah本人是什么来头呢?他是现任莱斯特大学校长兼副校长(2019年11月起),曾任布里斯托大学副校长。

Canagarajah在图像支解和纹理分类方面的研究孝敬获得国际认可,他在音频信号处置方面的研究促成了伦敦科学博物馆的互动展览“ Virtual Drum”。由此可见,Nishan Canagarajah在学术上颇有成就,他为何会提出这样的决议?

作为回应,莱斯特大学官方发表声明:这145个职员有被裁员(redundancy)的风险,预计将削减裁60个职员。在145个职位中,有63个是学术职位,有82个是专业服务职位。提案基于大学的历久计谋,而不是基于小我私家绩效或从属关系。

莱斯特大学是天下领先的研究和教育机构,然则全球竞争异常猛烈,我们的职位不能被视为天经地义。

要继续提供卓越的服务并在全球范围内竞争,我们必须牢固我们的主要优势,我们必须在职员和基础设施方面举行投资。

为促进这一点,我们可能需要在有限的几个领域中住手流动,我们将在未来几个月的协商过程中探索种种选择。

2数学不是冗余

对于官方将这些职位形貌为redundancy(冗余)的说法,激怒了数学家威廉%uB7蒂莫西%uB7高尔斯。他很快发起了联名信 *** ,联名信的题目是“数学并不冗余”,现在已有跨越5000人署名。

William Timothy Gowers是有着数学届诺贝尔奖之称的菲尔兹奖获得者,主要孝敬在泛函剖析和组合数学领域。

他在信中示意: 莱斯特大学以“追求卓越”为名的决议,将降低其基础研究能力和学位课程的质量。

实际上,管理层没有给出详细的设计,只是为了削减基础数学研究。然而最好的实践者往往数学功底深挚,学生正需要向这些人学习。放弃纯数学的设计将历久损害所保留部门的质量和声誉。应用数学和精算科学领域的同事已经向管理层示意了这一点,但被忽略了。

这次联名 *** 行动将强烈要求莱斯特大学重新考虑住手纯数学研究的决议,并撤消任何所谓“冗余”的威胁。

3Reddit吐槽

在讨论页面上,Reddit网友纷纷示意:

,

Usdt第三方支付接口

菜宝钱包(caibao.it)是使用TRC-20协议的Usdt第三方支付平台,Usdt收款平台、Usdt自动充提平台、usdt跑分平台。免费提供入金通道、Usdt钱包支付接口、Usdt自动充值接口、Usdt无需实名寄售回收。菜宝Usdt钱包一键生成Usdt钱包、一键调用API接口、一键无实名出售Usdt。

,

若是任何部门都可以在没有忠告的情况下被裁撤,似乎没有什么理由再去这所大学事情了。

他们在损坏自己的声誉,让莱斯特大学成为一所五流的大学。

他们在将大学酿成自由市场,只有“最好的”(即最有利可图的)的学科才气存在,纵然这与高等教育的理念恰恰相反。

这种做法是短视的,从长远来看不会使学生或研究社区受益,纵然对于AI或其他热门领域的人而言也是云云。

纯数学研究的收益远远跨越成本。实际上,它具有最佳的成本效益比,由于纯数学方面的研究成本云云之低,而数学基本上已用于所有科学领域。

纯数学这1%的学者对大学异常主要,学术能力是大学的招牌。在短期内,大学将节约少量资金。从长远来看,获取资助将变得加倍难题。

这些管理层从表面上看到他们的大部分资金来自某些学科。因此,他们以为只有这些学科是主要的,而完全忽略了这样的事实:热门学科的兴起,是多种学科显式或隐式地相互影响的效果。

有人则讥讽道:

这么做固然可以,我们只需要AI和数据科学,线性代数和微积分从未在这些领域中施展过任何作用!

4 AI能脱离数学?滑天下之大稽

那么,莱斯特大学管理层在声明中提到的人工智能、数据科学等学科,岂非真的可以脱离数学而生长?

听到这话,人工智能之父图灵估量都能笑醒,究竟图灵可是普林斯顿大学数学博士结业。

另外稍微回溯一下盘算机科学生长历史,小学二年级的同砚都知道,图灵奖得主有许多都是数学家身世:

1968年获奖的 Richard Hamming,拥有UIUC的数学博士学位;

1969年获奖的另一位人工智能之父 Marvin Minsky,拥有哈佛大学的数学学士学位、普林斯顿大学的数学硕士学位,并曾在MIT任数学和盘算机教授;

1970年获奖的 John Hardy Wilkinson,16岁入罗切斯特(Rochester)大学数学系学习,后在剑桥大学获博士学位;

1971年获奖的 John McCarthy,拥有普林斯顿大学的数学博士学位;

1972年获奖的 Edsger W. Dijkstra是美国德克萨斯大学奥斯汀分校的盘算机科学和数学教授;

1974年获奖的 Donald E. Knuth,拥有加州理工大学的应用数学博士学位;

1983年获奖的 Dennis M. Ritchie,拥有哈佛大学的应用数学博士学位;

1985年获奖的 Richard M. Karp,拥有哈佛大学的应用数学博士学位;

1986年获奖的 Robert E. Tarjan,在加州理工学院获数学学士学位,厥后在斯坦福大学取得盘算机和数学博士学位;

1987年获奖的 John Cocke,在杜克大学获数学博士学位;

1989年获奖的 William V. Kahan是加州大学伯克利分校的数学教授。

而盘算机的发现,也离不开多名数学家的伟大孝敬:

1642~1644年间,法国数学家 帕斯卡设计并制成了第一台机械式盘算机——加法机;

1822年英国数学家 巴贝奇制成了一台能够执行盘算程序的差分机,这是第一个自动化盘算工具;

英国数学家 布尔提出了布尔代数,这是盘算机的基础;

英国数学家 图灵(又一次泛起)提出了当今盘算机科学中极为主要的“可盘算性”观点,而他提出的“图灵机”是现代通用程序盘算机的理论模子;

美国数学家 克劳德%uB7香农(香农定理的香农)用布尔代数剖析并优化开关电路,奠基了数字电路的理论基础;

1946年,美国数学家 冯%uB7诺依曼(盘算机科学之父)介入设计的第一台电子数字盘算机(ENIAC)问世。

而除了盘算机科学之外,数学对于其余自然科学如物理学的推动生长意义更是极为主要: 伟大的物理学家牛顿同时是一位数学家,他(或莱布尼茨)发现的微积分对于厥后的物理学甚至整个自然科学都已经是必不可少的数学和头脑工具。而近一百多年最伟大的物理学家爱因斯坦,其发现的广义相对论更是脱离不数学基础--黎曼几何。

最后,我们借用美国物理学家文小刚的话,来论述数学对物理学(甚至科学)的意义:

历史上物理学和数学有着十分深刻的联系。物理的目的之一是领会新的自然现象。而一个新的自然现象之所以新的标志,就是我们连形貌它的名字及数学符号都没有。这就是为什么当物理学家有一个真正的新发现时,他/她什么都说不出来,什么都写不出来,也无法举行盘算推导。

这时候就需要引入新的数学语言来形貌新的自然现象。这就是数学和物理之间的深刻联系。 正由于云云,每一次物理学的重大革命,其标志都是有新的数学被引入到物理学中来。

参考资料:

https://www.reddit.com/r/math/comments/l7yyir/not_joking_university_of_leicester_to_make/

https://www.uculeicester.org.uk/ucu/first-statement-on-threatened-compulsory-redundancies/

https://le.ac.uk/news/2021/january/proposed-changes-university-of-leicester

https://www.ipetitions.com/petition/mathematics-is-not-redundant

https://www.insidermedia.com/news/midlands/almost-150-jobs-at-risk-at-university-of-leicester

https://golem.ph.utexas.edu/category/2021/01/problems_at_the_university_of.html

http://www.intlpress.net/mh/essay.php?id=338