在数学物理期刊的论文中哥德尔提出了
哥德尔的解只有在宇宙旋转时是正确的，但这是不可能的因此，这一组非常特殊的解实际上时无意义的
好吧，正好刚回答一个相似的问题 答案就贴过来吧。 在 图书馆看到过一本 数学史 专门介绍各个厉害的数学家，现在就写几个我记过笔记的吧。 拉马努强的的士数 1729 这是个有趣的数字！可以用两个立方之和来表达而且有两种表达方式的数之中，1729是最小的。大神学习数学的方式绝非常人。他买了本写着五千多条数学定理和公式的书，又买了个厚厚的本子，然后开始一条条用自己的方式证明。 后来他结了婚，在真奈找了份抄写员的工作，怎么看起来有些眼熟是吧差不多几年前有个叫阿尔伯特－爱因斯坦的犹太人也在瑞士伯尔尼的专利局里获得了同样的一份工作，所以说隐藏着绝世高手的职业不仅有图书馆管理员，抄写员也是。 过了一段时间拉马努强或许是觉得一个人研究有些无聊，于是给剑桥大学发了一长串复杂的定理，三一学院的院士、当时数学界影响力巨大的英国分析学派的扛把子哈代教授从定理中看到了智慧的光芒，将他从印度带到剑桥，然后 讲了他还没彻底搞定的广相场方程，希尔伯特后就先于爱因斯坦本人推出了场方程作用量的形式。 费马定理与怀尔斯 1637年，被称为业余数学家之王的法国人皮埃尔－德－费马在他的笔记本上写道：不可能将一个立方数写成两个立方数之和；或者将一个4次幂写成两个4次幂之和；或者，总的来说，不可能将一个高于2次的幂写成两个同样次幂的和。 这个喜欢恶作剧的天才，又在后面写下一个附加的评注：我有一个对这个命题的十分美妙的证明，这里空白太小，写不下。 费马死后，他的儿子意识到这些草草写就的自己或许有其价值，用了五年时间将其印刷刊出，这些被侥幸发现的蛛丝马迹成了其后所有数学家的不幸。一个高中生就可以理解的定理，成了数学界最大的悬案，从此将那些世界上最聪明的头脑整整折磨了358年。一代又一代的数学天才前赴后继，向这一猜想发起挑战。费马大定理本身从提出到证明的过程，就是一部不折不扣的惊险小说。寻求费马大定理证明的过程，牵动了这个星球上最有才智的人，充满绝望的反抗、意外的转机、隐忍的耐心、灿烂的灵性。 欧拉，18世纪最伟大的数学家之一，在那本特殊版本的《算术》中别的地方，发现费马隐蔽地描述了对4次幂的一个证明。欧拉将这个含糊不清的证明从细节上加以完善，并证明了3次幂的无解。但在他的突破之后，仍然有无数多次幂需要证明。 等到索非－热尔曼、勒让德、狄利克雷、加布里尔－拉梅等几个法国人再次取得突破时，距离费马写下那个定理已经过去了将近200年，而他们才仅仅又证明了5次幂和7次幂。事实上拉梅已经宣布他差不多就要证明费马大定理了，另一位数学家柯西也紧随其后说，要发表一个完整的证明。然而，一封来信粉碎了他们的信心：德国数学家库默尔看出这两个法国人正在走向同一条逻辑的死胡同。 在让两位数学家感到羞耻的同时，库默尔也证明了费马大定理的完整证明是当时的数学方法不可能实现的。这是数学逻辑的光辉一页，也是对整整一代数学家的巨大打击。 20世纪，数学开始转向各种不同的研究领域并取得非凡进步。1908年，德国实业家沃尔夫斯凯尔为未来可能攻克费马大定理的人设立了奖金，但是，一位不出名的数学家却似乎毁灭了大家的希望：因为这个问题是如此困难，提出不完备性定理的哥德尔甚至怀疑这是一个在现有算术公理体系中无法解决的问题。 尽管有哥德尔致命的警告，尽管经受了三个世纪壮烈的失败，但一些数学家仍然冒着白白浪费生命的风险，继续投身于这个问题。二战后随着计算机的出现，大量的计算已不再成为问题。借助计算机的帮助，数学家们对500以内，然后在1000以内，再是10000以内的值证明了费马大定理，到80年代，这个范围提高到25000，然后是400万以内。 但是，这种成功仅仅是表面的，即使那个范围再提高，也永远不能证明到无穷，不能宣称证明了整个定理。破案似乎遥遥无期。 1963年，年仅十岁的安德鲁－怀尔斯在一本名叫《大问题》的书中邂逅费马大定理，便知道自己永远不会放弃它，必须解决它。70年代，他正在剑桥大学研究椭圆方程，看来与费马大定理没什么关系。 此时，两位日本数学家已经提出谷山－志村猜想，将怀尔斯正在研究的椭圆方程与模形式统一在一起。看来也与费马大定理没什么关系。 80年代，几位数学家将17世纪最重要的问题与20世纪最有意义的问题结合在一起，找出了证明费马大定理的钥匙：只要能证明谷山－志村猜想，就自动证明了费马大定理。 曙光在前，但并没有人对黎明的到来抱有信心，谷山－志村猜想已经被研究了30年，都以失败告终，如今与费马大定理联系在一起，更是连最后的希没有了，因为，任何可能导致解决费马大定理的事情根据定义是根本不可能实现的——这几乎已成定论。 就连发现钥匙的关键人物肯－里贝特也很悲观，“我没有真的费神去试图证明它，甚至没有想到过要去试一下。”大多数其他数学家，包括安德鲁·怀尔斯的导师约翰－科茨，都相信做这个证明会劳而无功，“我必须承认我认为在我有生之年大概是不可能看到它被证明了。” 几乎所有人都已经放弃，除了安德鲁－怀尔斯。 怀尔斯放弃了所有与证明费马大定理无直接关系的工作，在完全保密的状态下，展开了一个人对这个困扰世间智者三百多年谜团的孤独挑战，妻子是唯一知道他在从事费马问题研究的人。 苦心孤诣的安德鲁－怀尔斯经过七年专心努力，完成了谷山－志村猜想的证明。1993年6月23日，剑桥牛顿研究所，他开始了本世纪最重要的一次数学讲座，每一个对促成费马大定理证明做出过贡献的人实际上都在现场的房间里，两百名数学家被惊呆了，他们看到的是，三百多年来第一次，费马的挑战被征服。 怀尔斯写上费马大定理的结论，然后转向听众，平和地说，“我想我就在这里结束。”会场上爆发出一阵持久的掌声，第二天，数学家第一次占据了报纸的头版头条。《人物》杂志将他与黛安娜王妃、奥普拉一起列为“本年度25位最具魅力者”之一，一家时装公司则请这位温文尔雅的天才为他们的新系列男装做了广告。 但事情并没有在这里结束，接下来的发展依然像惊险小说一样，悬案得破，但案犯并不轻易束手就擒。怀尔斯长达200页的手稿投交到《数学发明》杂志，开始了庞杂的审稿过程。这是一个特大型的论证，由数以百计的数学计算通过数以千计的逻辑链环错综复杂地构造而成。只要有一个计算出差错或一个链环没衔接好，整个证明将可能失去其价值。 值得解决的问题会以反击来证明它自己的价值。在苛刻的审稿过程中，审稿人碰到了一个似乎是小问题的问题。而这个问题的实质是，无法使怀尔斯像原来设想的那样保证某个方法行得通。他必须加强他的证明。 时间越耗越长，问题依然解决不了，全世界开始对怀尔斯产生怀疑。14个月的时间过去了，他准备公开承认失败并发表一个证明有缺陷的声明。在山穷水尽的最后时刻，1995年9月19日，一个星期一的早晨，他决定最后检视一次，试图确切地判断出那个方法不能奏效的原因。 一个突然迸发的灵感使他的苦难走到了尽头：虽然那个方法不能完全行得通，但只需要可以使另一个他曾经放弃的理论奏效，正确答案就可以出现在废墟之中——两个分别不足以解决问题的方法结合在一起，就可以完美地互相补足。 足足有20分钟，怀尔斯呆望着那个结果不敢相信，然后，是一种再也无事可做的巨大失落感。一百年前，专为费马大定理而设的沃尔夫斯凯尔奖将截止日期定为2007年9月13日。就像所有的惊险片一样，炸弹在即将起爆的最后一刻，被拆除了。 这个故事和中国人所熟悉的陈景润与哥德巴赫猜想的故事如出一辙，可惜的是陈景润只是将哥德巴赫猜想的证明往前推进了一大步而并未完成最终证明，安德鲁－怀尔斯却将费马大定理彻底解决。偏微分的研究 什么是偏微分方程？简单的说就是一个微分方程中出现的未知函数只含一个自变量，这个方程叫做常微分方程；如果如果未知函数和几个变量有关，而且方程中出现未知函数对应几个变量的导数，那么这种微分方程就是偏微分方程。 偏微分的研究始于数学史上最多产的数学家欧拉，据说这位大神一年能写八百页的论文，这码字速度远远超过愤怒的香蕉和志鸟村，人家写的还是专业论文。他在自己的论文中提出了弦振动的二阶方程，随后不久，法国数学家达朗贝尔也在他的著作《论动力学》中提出了特殊的偏微分方程，这些著作当时没有引起多大注意。 接着大神伯努利和傅里叶等人在这一领域进行了更多的研究，直接导致了数学物理方程这一分支的建立。傅里叶的著名论文《热的理论解析》听起来像是物理论文，但却成为数学史上的经典论文之一。 然后格林在剑桥建立了数学物理学派，他培育了汤姆逊、麦克斯韦等大神，他们使用偏微分作为求解重要物理问题的屠龙宝刀，并取得巨大进展，麦克斯韦轰动世界的电磁场方程就是这一学派的辉煌胜利。 爱因斯坦在谈起这段历史的时候说道，“偏微分方程进入到物理学的时候不过是婢女，现在却成了主母！”。 到了今天偏微分已经成为研究物理化学的基础，可以说如果你不懂这个，那么你就几乎没有在物理化学上取得成就的可能。 一般的数学论文可以分为四个板块，第一板块是前言，先简单说明一下自己这篇文章写的是什么，然后讲讲问题背景（比如说关于这个问题拉克斯研究到什么程度，陶哲轩有什么看法，还有那些问题没有解决），再往后就是自己解决了什么问题。 第二板块是序言，一般而言，这里面介绍你要用到的工具，比如各种定义，公理。 第三板块就是你的证明或者解题过程，整篇论文的精华就在这里了，要求条理清楚、逻辑严密，绝对不要出现一丝漏洞。 最后一个部分就是你做出的这个成果有什么用了，这部分可以写也可以不写，因为数学研究到现在这个阶段，很多数学家都是因为兴趣而进行研究，他们也不清楚自己研究出来的东西有神马用。更多的可能是这篇论文的结论可能没什么卵用，但是解题的过程却能带来科学的巨大进步。还有一个是杜撰的 不过很凄美 心型线 1649年，斯德哥尔摩的街头，52岁的笛卡尔邂逅了18岁的瑞典公主克里斯汀。几天后，他意外的接到通知，国王聘请他做小公主的数学老师。跟随前来通知的侍卫一起来到皇宫，他见到了在街头偶遇的女孩子。从此，他当上了小公主的数学老师。”公主的数学在笛卡尔的悉心指导下突飞猛进，每天形影不离的相处使他们彼此产生爱慕之心，公主的父亲国王知道了后勃然大怒，下令将笛卡尔处死，小公主克里斯汀苦苦哀求后，国王将其流放回法国，克里斯汀公主也被父亲软禁起来。” “笛卡尔回法国后不久便染上重病，他日日给公主写信，因被国王拦截，克里斯汀一直没收到笛卡尔的信。笛卡尔在给克里斯汀寄出第十三封信后就气绝身亡了，这第十三封信内容只有短短的一个公式：ra1－nθ。国王看不懂，觉得他们俩之间并不是总是说情话的，将全城的数学家召集到皇宫，但没有一个人能解开，他不忍心看着心爱的女儿整日闷闷不乐，就把这封信交给一直闷闷不乐的克里斯汀 我最喜欢的 四色猜想这一定理通俗的说法是：每个平面地图都可以只用四种颜色来染色，而且没有两个邻接的区域颜色相同。 听起来很简单不是么？当这一猜想提出的时候大家也都这么认为，那些心高气傲的数学家不屑于在如此简单的问题上花费精力，直到哥廷根学派的重要人物、爱因斯坦的老师、为广义相对论做出突出贡献的闵可夫斯基注意到了这个问题。一次拓扑课上，闵可夫斯基向学生们自负的宣称，“这个定理没有证明的最要的原因是至今只有一些三流的数学家在这上面花过时间。下面我就来证明它。” 然后……，这节课结束的时候，没有证完；到下一次课的时候，闵可夫斯基继续证明，还是没有搞定。 一直几个星期过去了……一个阴霾的早上，闵可夫斯基跨入教室，那时候，恰好一道闪电划过长空，雷声震耳；他很严肃的说，“上天被我的骄傲激怒了，我的证明是不完全的……” 1942年的时候，莱夫谢茨去哈佛大学做了个报告，伯克霍夫是他的好朋友，讲座结束之后，就问他最近在普林斯顿大学有没有什么有意思的东西。莱夫谢茨说有一个人刚刚证明了四色猜想。伯克霍夫严重的不相信，说要是这是真的，就用手和膝盖，直接爬到普林斯顿的数学系大楼去。 几十年间，数学界对四色定理的观感竟发生了如此大的变化；直到1976年，美国数学家阿佩尔和哈肯，在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，最终证明了四色定理，轰动了世界。
哈哈 我前两天还刚看了果壳里的60年，查了哥德尔不完备性定理。他的那个命题提出得很巧妙，确实无法判断真假。 我认为数理逻辑这种惨杂了文字的学科已经不能算作纯粹的数学，所以不必纠结。因为我们现在的一切物理化学知识都是在忽略此定理下建立起来的。 时间简史里面，霍金就在讲黑洞的时候理论时候就说了他们的理论也是在不考虑哥德尔定理时候作出的。 你想要说的宇宙终极真理是什么呢，我相信任何一种自然现象不是一个简单的数学公式能够概括的，其中的原因一定很复杂很复杂。
一旦物体达到了光速，质量无穷大，不可能再被加速~~~~ 虫洞旅行是唯一的解决方案，是通过四维空间来缩短三维空间的理论方法
在数学物理期刊的论文中哥德尔提出了什么
奥地利数学家哥德尔在1931年发表了题为《论<数学原理>及有关系统的形式不可判定命题》的论文，其中提出这样一个观点，在任何数学系统中，只要其能包含整数的算术，这个系统的相容性就不可能通过几个基础学派所采用的逻辑原理建立。简单地说，就是在任何系统中，总有些真理是游离于逻辑之外的，这些真理就叫做歌德尔命题。
那么，哥德尔究竟做出了什么贡献，让人们赋予他如此伟大的光环呢？哥德尔与好友爱因斯坦这就不得不说到哥德尔在1931年证明的一个定理——“哥德尔不完备定理”，正是这个定理让哥德尔名垂千古。这个定理的成果直接影响到了今天的人工智能和大脑神经科学的前沿，并且也必将在未来人类的发展中起到至关重要的作用。 “哥德尔不完备定理”的主要内容可以如下表示：在任何一个相容的形式化数学理论中，只要它可以在其中定义自然数的概念，就可以在其中找出一个命题，在该系统中既不能证明它为真，也不能证明它为假。换句话说：一个包含自然数的体系下，存在着一个问题，在该体系的基础公理下永远也不能证明该问题是对的，同时也永远无法证明该问题是错的。在数学的历史上，曾经多次出现这样的问题。举世闻名的费马大定理就曾经让数学家陷入这样的困惑。在三百多年的漫长探索中，很多数学家对费马大定理是否能证明或给出反例都表示出了极大的悲观。而另外两个世界知名的数学难题——哥德巴赫猜想和黎曼猜想，由于哥德尔提出了幽灵般的不完备定理，迄今为止，也被少数数学家悲观地预测为不能证明也不能否证的问题。但是，这也并不表示此类问题就没有解决的希望，只不过是基于数论的基础公理无法证明该类问题而已，人们需要利用其它形式系统的方法来实现跨界证明。费马大定理最后就是利用椭圆曲线的工具才得以完美解决，1995年，英国数学家怀尔斯在潜心面壁8年后终于解决了这个困扰人类358年的难题。如果哥德尔不完备定理只是在数学领域显示出顽强生命力的话，那么它的影响力要有限得多，而让它真正大放异彩的，是其随后在计算机和人工智能浪潮中的应用。数学的基础是建立在一系列的公理之上，在逻辑推理的辅助下往各个方向无限延伸。构成数学推理的语言是一套符号运算系统，在基本公理的奠基下，人们可以依靠逻辑递归地推导出一系列毋庸置疑的结论。哥德尔不完备定理其实揭示了这种基于数论有限公理的形式主义逻辑的不完备性。即人们可以在其中添加无限多的公理而与之前的公理没有任何矛盾，且这些新加入的公理无法用之前的公理递归枚举得出。这对当代的计算机科学有着深远的影响。众所周知，现代的计算机都是基于冯·诺依曼提出的二进制数字运算的基本原理和一系列基础公理，其执行一般由输入、处理和输出组成。尽管计算机在速度和执行效率上有了日新月异的发展，但是其处理数据的思路仍然是基于一定的递归规则运算来判断命题的真伪，从而输出结果。然而哥德尔不完备定理却无情地揭示了计算机的隐患：至少存在一个命题，递归程序无法判断其真伪。系统在处理这样的问题时必然陷入无限卡壳的状态。解决这一致命缺陷的办法只有无限扩展公理集，但由于计算机的存储始终是有限的，因此我们永远也无法造出完美的计算机。这样，基于冯·诺依曼理论构建的计算机从诞生开始就有着先天的“基因”缺陷。也正因为如此，一些数学家认为人类的“直觉”不受该定理的限制，所以计算机永远不可能具有人脑的能力。人工智能无论如何发展，也无法具备人类的智慧。但另外一些研究指出人类思维也是不完备的，人脑的“思考”和电脑的“运算”基本原理一致。电脑用电子元件的“开、闭”和电信号的传递，人脑则相应表现为神经原的“冲动、抑制”和化学信号的传递。这种相似的联系直接导致人脑的思考也是符合哥德尔不完备定理的条件的，因此人类的思维系统也是不完备的。在生活实践中，人们是通过思考来建立对世界的客观认识和描述的，而语言则是人们彼此交流思考结果的有力工具。对人脑而言，思维推理系统的不完备也就意味着存在不能用思维证实的问题。简而言之，现实中总有那么一些问题或者想法，我们无法用思维来证实或者否定它，从而也就无法用语言来完全准确的表达我们的思想。由于思维是客观实在的近似反映，语言则是思维的近似表达。这就是我们“只可意会、不可言传”背后的数学原因。
A.:阿诺尔德谈物理与数学教育
留个脚印先
如梦初醒的感觉啊
数学与物理，会不会就是一枚硬币的正反面呢?
把数学公理化、整得数学特抽象当然也有很多的理由，比如几何化、物理化是多么不可靠等等。我觉得大学的教育应该特立独行，喜欢抽象的大学就专弄公理化，抽象再抽象；喜欢形象化的大学专弄几何化、物理化，形象再形象。这样才符合人们各式各样的思维习惯，大学生们白菜豆腐各取所需多好，干嘛全世界的大学一个样呢。
提出论文查重的大哥
知网 万方 维普 这些都是发明的比较早的 凡是有中文资源库的数据商都有自己的系统
投物理学报终于刊出了
4月20号开始写这篇中文……5月3号投稿……
这速度快得惊人呀
物理学报快被国内关系户垄断了。
的确效率高，恭喜！
投的物理学报中文的，4月26投稿目前一直外审状态催稿一次过来一个星期还是外审中，怎么办