adv

致长期以来一直关注solidot的海内外朋友,请点击这里查看。
数学
WinterIsComing(31822)
发表于2014年08月12日 19时05分 星期二
来自精神力占一半
你或许会认为你的阅读能力强于数学能力,或者数学能力强于阅读能力。但一项研究发现,阅读和数学能力是有关联的。决定一个人某一学科学习能力的基因对其另一学科的能力也有影响。研究报告发表在《Nature Communications》期刊上。研究人员测试了1500对12岁双胞胎的数学和语言能力,发现同卵双胞胎成绩的相似性两倍于异卵双胞胎。研究显示,儿童一半的学习能力是由基因决定的。对不相干儿童的另一个分析证实了这一结论:同等学术能力的陌生人之间存在遗传相似性。决定数学和阅读能力的基因似乎是相互关联的。
数学
WinterIsComing(31822)
发表于2014年07月29日 19时40分 星期二
来自认真过头
斯坦福大学教授Tsachy Weissman和他的博士生Vinith Misra(已获得博士学位)为HBO的电视剧《硅谷》设计了一个以假乱真的无损压缩算法。但为了向观众说明为什么一个压缩算法比另一个更出色,他们又设计了一个衡量标准Weissman Score,使用的公式是由Misra提出的。这个衡量标准正从电视走向真实世界。Weissman说,他不想宣传一个用他名字命名的衡量标准,但有兴趣使用它。其他研究人员也认为Weissman Score确实是一个展现压缩算法效率的一个有价值的衡量标准。著名科学家Marcelo Weinberger和加州圣巴巴拉分校教授Jerry Gibson都计划在课程中使用 Weissman Score。
数学
WinterIsComing(31822)
发表于2014年07月09日 20时50分 星期三
来自宽客的好时光已经一去不复返
76岁的数学博士James H.Simons是一位亿万富翁,身价125亿美元。他的职业生涯令人难以置信:23岁在加州伯克利获得数学博士学位,26岁为NSA破解先进密码,30岁被任命为Stony Brook大学数学系主任,37岁获得几何学的最高奖项Veblen奖;44岁时创办了史上最成功对冲基金之一的文艺复兴科技公司;56岁时创办慈善基金;2009年退休;今年入选美国国家科学院。他是华尔街最早的宽客(quant)之一,如今他正利用他的财富资助数学教育和基础科学研究,如生命起源,自闭症根源,早期宇宙结构,等等。Simons博士谈论他年轻时对数学的热情时说,他并不是世界跑得最快的孩子,他不会在奥林匹克比赛或数学竞赛有出色表现,但他喜欢沉思,只是不断的不断的思考,这证明是一个不错的方法。他说自己非常不擅长编程,不能靠写程序谋生。
云计算
WinterIsComing(31822)
发表于2014年06月24日 20时27分 星期二
来自一种新编程
Stephen Wolfram宣布了基于Wolfram Language的第一款产品Wolfram Programming Cloud上线。Wolfram宣称这是一个历史性的时刻,堪比26年前他发布Mathematica 1.0。他说,Wolfram Language及Wolfram Programming Cloud的目标是重新定义编程过程,尽可能的将编程自动化,一个人只要能足够清晰的表达出他们想做什么,如何做的具体细节将能被自动的处理。Wolfram Programming Cloud是Wolfram Language的一个应用程序,用于创建和部署基于云的应用程序。
数学
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帐号。