adv

致长期以来一直关注solidot的海内外朋友,请点击这里查看。
数学
WinterIsComing(31822)
发表于2014年06月24日 17时32分 星期二
来自豪
突破奖基金会宣布了第一届数学突破奖的获奖者:英国伦敦帝国理工的Simon Donaldson,法国高等科学研究所的Maxim Kontsevich、哈佛大学的Jacob Lurie、加州大学洛杉矶分校的陶哲轩和普林斯顿高等研究院的Richard Taylor。突破奖基金会由多位亿万富翁资助建立,其中包括Google联合创始人Sergey Brin和Anne Wojcicki、马云及其妻子张瑛、俄罗斯互联网风投家Yuri和Julia Milner夫妇、Facebook创始人Mark Zuckerberg和Priscilla Chan。突破奖的奖金高达1500万美元,每位获奖者将能获得300万美元,被喻为豪华版诺贝尔奖。Yuri Milner曾指出,在1950年代,《时代》杂志封面人物除政治家外,还会有像爱因斯坦这样等对人类贡献巨大的科学家,而当今世界充斥新闻的只是为大众提供娱乐服务的球星和歌手。大奖评委方面表示,颁发世界上“金额最大科学奖”的目的就是要吸引更多优秀人才投身到科学研究领域,让科学家变成高知名度的明星。
数学
WinterIsComing(31822)
发表于2014年05月28日 16时18分 星期三
来自不能强求经济学家写程序
魁北克大学计算机科学教授Daniel Lemire认为重要的工作不应该用电子表格程序。Lemire教授说,他嫉妒经济学家,因为经济学家总是能写出畅销书,最近的一个例子就是Thomas Piketty的《21世纪的资本》,如果你没听过这本书,那么书中的观点一言以蔽之就是:资本的收益高于薪水的增长,导致的结果是财富不平等的加剧,富人愈富穷人愈穷。这个观点称不上新颖。许多人都提出过类似的说法,然而很少有人能给出证明。但Piketty使用了复杂的数据去支持他的观点,他使用电子表格程序Excel去处理数据,没有特别去写一个软件。Piketty公开了他的Excel代码,结果被人发现了许多错误,包括原始数据转录错误和公式错误。Lemire认为这并不出人意料,电子表格程序长于快速处理脏活,而不是设计用于严肃的工作。电子表格程度的代码非常难以检查,但如果其他人也难以细致审查,你如何确保你的工作是可信的?
Idle
WinterIsComing(31822)
发表于2014年05月07日 11时24分 星期三
来自臆想
酒吧外遇袭所造成的脑损伤使得Jason Padgett发展出某种非凡的数学能力,虽然这种数学能力对于学术研究没什么帮助。LiveScience报道,Jason Padgett刚刚出版了一本新书《Struck by Genius》,讲述他不同寻常的经历。袭击发生在2002年,当时Padgett是一位热爱运动和派对的家具推销员,袭击造成了严重的脑震荡和肾出血,袭击之后他发现周围的一切都发生了变化,世界的任何事物在他眼里都变成了一个个数学结构,他看到了几何图形,看到了分形。他不喜欢无限的概念,因为他看到的每个形状都是由极小的有限结构单元形成的。迈阿密大学的哲学教授Berit Brogaard和同事用功能性核磁共振成像扫描了Padgett的大脑,发现与数学技能相关的左脑半球活跃模式的变化,与空间感知有关的顶叶皮质活动最为强烈。
数学
WinterIsComing(31822)
发表于2014年04月28日 12时25分 星期一
来自只收数学博士
NSA和GCHQ都是世界最大的数学家雇主,当NSA和GCHQ大规模监视活动曝光之后,数学家社区对其是什么反应?大多数人是完全忽视。英国爱丁堡大学的数学家Tom Leinster在《新科学家》上呼吁拒绝与NSA和GCHQ进行合作。他以Dual_EC_DRBG为例指出,要在加密算法中植入后门没有数学家的帮助是不可能办到的。数学家现在面临一个伦理学问题。以前数学家认为他们所做的和日常世界无关,比如G. H.哈代就自豪的宣称,“我从未做过任何‘有实用价值’的事情,没有一项我的发现,对世界的舒适程度产生过(或可能产生)哪怕是最小的,直接或间接的,好的或坏的影响。”。但在现代世界数学毫无疑问有着实用价值,数学家的工作能得到善用也能被恶意使用。大规模监视将世界带入了“奥威尔式的社会”。数学家必须做出决定:是否应该继续与情报社区进行合作。
数学
WinterIsComing(31822)
发表于2014年04月22日 11时54分 星期二
来自还没进化出凯撒
看起来这像是一个标准化的测试问题:是左边的两个数之和大还是右边的单一数字大?被训练将数值和符号联系起来的恒河猴能给出正确答案。这项发现不仅仅揭示了动物的隐藏天赋,还有助于展示哺乳动物大脑如何编码数值。研究报告发表在PNAS上。此前的研究发现,黑猩猩能对单一数字做加法。但科学家还无法正确解释,数字如何在人或猴子的大脑中呈现,或加法如何执行。最新的研究开始解答这些疑问。研究人员花了四个月时间训练恒河猴如何对两个符号执行加法,以及将两个数值之和与第三个符号进行对比。
数学
WinterIsComing(31822)
发表于2014年04月05日 22时40分 星期六
来自感觉有点扯
科学中的一大谜团是为什么我们无法观察到宏观的量子效应如量子叠加态。现在,一位以色列科学家将该问题与计算复杂性问题P vs.NP联系起来(P指多项式时间,NP指非确定性多项式时间)。描述任何量子对象的方程式是薛定谔方程,物理学家相信它可以描述宇宙中的一切,包括宏观对象甚至宇宙本身。本古里安大学的Arkady Bolotin认为,用薛定谔方程描述宏观系统的一个隐含假设是方程能在合理的时间内计算出结果。这个隐含假设对于简单系统无疑是正确的,但计算复杂系统的量子属性是非常困难的。Bolotin提出一个假设:描述宏观系统的薛定谔方程没有办法在合理的时间内解出。他认为这是一个NP-hard问题。所有的NP-hard问题在数学上是等价的,如果P不等于NP,那么这就意味着宏观量子效应不可能存在,从而解释了为什么我们在现实世界中无法观察到量子叠加态。
数学
WinterIsComing(31822)
发表于2014年03月23日 23时12分 星期日
来自学好数理化
lemuria 写道 "美国西南航空高级工程师Alan Mi提出了通过数学计算找失联马航飞机的算法, 据Alan称,即使用手工在一张一米见方的大地图上描绘,用尺子沿着轴心旋转寻找等距优化点,也能得到相当精确的结果。Alan在算法中使用了来自华盛顿邮报的图表、球面方程、Google Earth软件等。"
数学
WinterIsComing(31822)
发表于2014年03月12日 16时17分 星期三
来自学霸多是男的
认为女性不擅长数学只是你的偏见。但一项新研究发现,即使相反的证据摆在你面前,你也不会改变想法。对男性和女性如何看待彼此数学能力的研究发现,对女性的潜意识偏见可能会扭曲招聘决定,扩大数学职业如工程的性别鸿沟。研究人员设计了一个实验去测试性别偏见,受试者被分成了雇主和应聘者两组,雇主的认为是挑选出数学能力出色的应聘者。结果显示,男性和女性雇主都下意识的认为女性缺乏数学能力。当候选人只有一张照片时,雇主更可能录用男性去从事一项简单数学工作。研究报告发表在PNAS上。
数学
WinterIsComing(31822)
发表于2014年03月03日 11时45分 星期一
来自好高端的样子
分割函数p(n)是数论中的一个整数分拆问题:一个数n可以写成多少个正整数的和。比如4可以写成4,3+1,2+2,2+1+1,1+1+1+1,所以p(4)=5。分割函数的一种精确计算公式是哈代-拉马努金-拉德马赫公式(Hardy-Ramanujan-Rademacher)。Fredrik Johansson宣布,他完成了p(10^20)的计算结果,使用的算法是基于上述公式,但优化了实现方法,因此p(10^20)的运算在一台130 GB内存的机器上只花了110个CPU小时,比计算p(10^19)的150GB内存和100小时没长多少。计算结果的二进制大小为4.6 GB。
数学
WinterIsComing(31822)
发表于2014年02月22日 22时00分 星期六
来自相关性与因果
18个月前,新英格兰复杂系统研究院的研究人员发现,粮食价格和骚乱之间存在相关性,他们预测到2013年8月粮食价格指数将会超过阈值,全球将会出现骚乱。过去一年,他们的预言似乎得到了验证,革命、骚乱,暴动正席卷全球。我们目睹了乌克兰、委内瑞拉、泰国、波斯尼亚和叙利亚等国发生的大规模民众抗议和流血冲突。而数据显示,2013年的食品价格是历史上第三高,食物价格成为了诱发冲突的一个种子。论文合作者Yaneer Bar-Yam说,他们的预测结果与实际相当一致,比如发生骚乱的委内瑞拉的食物价格正处于18年来的最高点。Bar-Yam根据模型列出了一个可能会因为食物价格而发生骚乱的国家名单,这个名单包括:南非、海地、阿根廷、埃及、突尼斯、巴西、土耳其、哥伦比亚、利比亚、瑞典、印度、中国、保加利亚、智利、叙利亚、泰国、孟加拉国、巴林、乌克兰、委内瑞拉和波斯尼亚。
数学
WinterIsComing(31822)
发表于2014年02月19日 18时13分 星期三
来自AI数学家
如果人类无法检验一个定理的证明,这个证明还能被当成数学吗?这是计算机辅助证明的流行而引发的一个疑问。利物浦大学的 Alexei Lisitsa和同事Boris Konev使用计算机生成了一个13GB大小的证明,这可能是有史以来最长的证明了,它的大小使得人类不可能去检查证明是否无误。他们的证明与匈牙利犹太数学家Paul Erdős在1930年代提出的一个猜想有关。Erdős提出,一个只含有+1s和-1s的随机无穷序列(例如对于序列(x1, x2, x3, ...),其中xi = (−1)i+1)是否包含内在模式, 一种测量方法是将无穷序列在特定点切割,创造出了一个有限的子序列。Erdős的猜想是:对于任意整数C,存在整数K和d,使得。Lisitsa和Konev用计算机证明,一个无穷序列总有一个大于2的差。论文预印本发表在arXiv.org上。
数学
WinterIsComing(31822)
发表于2014年02月19日 16时23分 星期三
来自凸出面
古希腊博物学家柏拉图的作品让后世的几百万人忙碌了两千年,其中一部分数学家着迷于柏拉图立体——全等正多边形构成的正多面体。在柏拉图之后,数学家发现了另外两类正多面体:阿基米德立体星形正多面体。在最后一类正多面体发现将近400年之后,UCLA的数学家Stan Schein和同事宣布发现了第四类正多面体:以20世纪数学家Michael Goldberg名字命名的Goldberg正多面体。论文发表在PNAS上。一位数学家打了个比方,称Goldberg正多面体就是拿着一个立体把它吹成气球状。
数学
WinterIsComing(31822)
发表于2014年02月17日 17时59分 星期一
来自该吃红色药丸了
数学知识不同于其它知识,它的真理是客观的、不能否定的和永恒的。伟大的逻辑学家哥德尔认为,数学概念和理念形成了一个它们自己的客观现实,这个客观现实我们无法创造或改变,只能感知和描述。如果这是真的,我们是否生活在一个基于数学规律的计算机模拟中?加州伯克利的数学教授Edward Frenkel指出,根据一个充满幻想的理论,高度发达的未来的某些计算机程序员设计了这个模拟,而身处其中的我们并不知道模拟的存在,我们所发现的数学真理不过是程序员使用的代码特征。你可能不怎么相信这个理论。但牛津大学的哲学家Nick Bostrom根据逻辑推理主张,我们确实更有可能生活在一个模拟而不是一个真实世界之中。因为如果模拟是可能的,那么人类最后总会创造出模拟,不是一个而是很多个。随着时间的推移,模拟将会越来越多。最终,从统计学上说,我们最有可能生活在一个模拟世界里。但如何用实证检验这一假说?物理学家Silas R.Beane教授和同事在预印本网站上发表了一篇论文,提出了一种检验世界是真实还是模拟的可能方法:用三维网格建模宇宙的一小部分,然后运行程序看会发生什么。他们发现,计算机模拟产生了微小但可区分的异常——某种不对称性。也就是说,我们也许能在我们的宇宙中观察到相同的可区分异常,比如仔细分析宇宙射线,可能会揭示类似的不对称性——这将表明,我们可能是生活在别人的计算机模拟里。
数学
WinterIsComing(31822)
发表于2014年02月14日 21时02分 星期五
来自普通人欣赏不了
根据发表在开放获取期刊《Frontiers in Human Neuroscience》上的一篇研究报告,美的来源有许许多多,对于数学家和数学爱好者来说,优雅的数学方程式(上图是欧拉恒等式)就具有一种神秘的美感。伦敦大学学院教授Semir Zeki领导的团队让受试给60个数学方程式按美丽等级评分,同时用功能性核磁共振成像扫描他们的大脑。结果显示,优美的方程式如欧拉恒等式和柯西-黎曼方程激活了与其他人欣赏高雅艺术时相同的大脑区域。顺便提一下,印度天才数学家拉马努金的无穷级数和黎曼函数方程被数学家评为最丑陋的方程式。
数学
WinterIsComing(31822)
发表于2014年02月13日 20时50分 星期四
来自6 sigma
统计真实性的黄金标准P值并没有科学家假定的那么可靠和客观,它并不能告诉你一个假说是否正确。P值自引入统计学以来就一直饱受批评,它被比作是皇帝的新衣。但讽刺的是,英国统计学家Ronald Fisher在1920年代率先引入P值时,本来就没将它当作一种确定性的测试。他只是简单把它作为一种非正式的方式,判断证据是否具有显著性,值得重新审视一下。
数学
WinterIsComing(31822)
发表于2014年01月23日 20时17分 星期四
来自又少了一个
35岁的数学家Chris McKinlay一边运行超算一边浏览约会网站OkCupid。他与前女友几个月前分手了,正试图通过约会网站找到新的女友。他向OkCupid算法筛选出的候选女友发去了信息,多数是石沉大海,即使有回应第一次约会后也都无疾而终。他意识到,作为一名数学家,他不应该像其他人那样使用约会网站。他住在洛杉矶的UCLA,而洛杉矶有200万女性,难道就找不到一个满足他要求的梦中女孩? McKinlay是一位不同寻常的数学家,他大学主修中文专业,2001年毕业后在纽约双子塔找了份兼职工作,帮助一家公司将中文翻译成英文。五周之后的一个早晨,塔倒了,而他的工作时间是在下午。他为此震惊并开始反思生活的意义,在朋友的招募下他加入了MIT著名的21点团队的一个分队,通过算牌每年在赌城能赚到最多6万美元。这段经历使他对应用数学发生了兴趣,先后获得了数学的硕士和博士学位。他知道我们可以在许多不同的环境中应用数学,寻找真爱也包括在内。但首先你需要数据。McKinlay创建了机器人程序伪造帐号从OkCupid上收集信息,在机器人程序被OkCupid封杀之后,他在朋友的帮助下训练机器人能像人类一样行动(方法是安装间谍软件,监视他的朋友在OkCupid上的行为)。他花了三周时间从美国2万女性收集到600万问题和答案,然后利用K-Modes算法为女网友分类,将她们分成7个在统计上存在差异的集群。他将该方法应用于洛杉矶的OkCupid女网友,优化出两组女性,逐个约会她们。在第88个约会对象,他找到了真爱,28岁的艺术家Christine Tien Wang。两周后他们关闭了OkCupid帐号。
数学
WinterIsComing(31822)
发表于2014年01月12日 19时57分 星期日
来自为了建设伟大祖国
哈萨克媒体报道,欧亚国立大学欧亚数学学院的Mukhtarbay Otelbaev教授宣称解决了一个千禧年大奖难题。他的论文标题是《论纳维-斯托克斯方程强解的存在性(Existence of a strong solution of the Navier-Stokes equation)》(PDF),目前已公布了俄语版本,但尚未有英语翻译版。Otelbaev教授是一位受人尊敬的学者,所以他的论文值得重视。当然伟大的科学家都会犯错。纳维-斯托克斯方程是流体力学的重要方程,是克雷数学研究所2000年提出的7个千禧年大奖难题之一,它描述了空间中不可压缩流体的运动。方程的解可以应用到许多实用领域,目前数学家只找到了一些特解。7个千禧年大奖难题,目前只有庞加莱猜想获得证明,俄罗斯数学家格里戈里·佩雷尔曼在2003年给出了证明,但他在2010年拒绝了千禧年大奖和百万美元奖金。
数学
WinterIsComing(31822)
发表于2014年01月08日 11时21分 星期三
来自井田
历史学家从2300年历史的竹简残片中拼凑出至今发现的最古老十进制乘法表。清华大学在2008年从海外校友手中获赠一批战国竹简,其总数约为2500枚。这批竹简被认为来自一个非法挖掘的古墓,捐赠者购自香港市场。碳定年测定显示,竹简的年代约在公元前305年,为战国时代。每枚竹简宽7到12毫米,最长半米。清华大学的数学历史学家Feng Lisheng称,有21枚竹简只包含数字,在正确排列之后,他们发现了一个乘法矩阵结构,可用于计算0.5到99.5之间整数或半整数相乘的结果。历史学家称该乘法表是古代的计算器,推测它被用于丈量土地面积。
数学
WinterIsComing(31822)
发表于2013年12月29日 19时07分 星期日
来自跨进新时代
开源数值计算软件GNU Octave发布了3.8版,新版的一个重大变化是引入了用户请求许久的图形用户界面。GNU Octave的一大优势是兼容著名商业数学软件MATLAB,可以不作任何修改运行MATLAB的代码。Octave 3.8的图形用户界面还没有经过多少打磨,尚处于预览阶段,软件默认仍然是使用命令行,计划中的Octave 4.0版将默认启用GUI。其它的变化包括:支持嵌套函数作用域规则,有限支持命名异常,新的正则表达式,支持FLTK工具包的TeX解析器,等等。
数学
WinterIsComing(31822)
发表于2013年12月17日 11时16分 星期二
来自竟然不是罗马人
二进制数发明的时间可能比以前认为的要早几百年。我们最熟悉的进制是十进制,但十进制不是唯一的计数系统:巴比伦人使用60进制,玛雅人使用20进制,澳大利亚原居民使用5进制,而西方的二进制是莱布尼兹于1703年最早描述的,二进制是计算机的基础。根据发表在PNAS上的研究报告,人类学家在研究玻利尼西亚人的文化和语言时,吃惊的发现了一个揉合十进制和二进制的计数系统。这是在欧亚大陆以外发现的最早使用二进制的例子,比西方要早数百年。