数学中国

标题: 民科的素养 [打印本页]

作者: lkPark 时间: 2017-9-10 12:13
标题: 民科的素养
本帖最后由 lkPark 于 2017-9-10 12:29 编辑

科学已经成为了维持现代人类存在的主要工具了，科学与人类的关系正变得越发紧密，科学关系着每个人，所以我们每个人都可以投身于科研当中，但这还是需要你本人具备一些科学素养的。

（一）、你必须热爱科学，否则你的研究就毫无动力可言。

（二）、你必须有过巨量的阅读经历，特别是大量阅读科学及科普读物，这对你形成正确的判断力有帮助。

（三）、你必须是个无神论者，因为神学和科学没有关系。

（四）、你不必有很高的学历，但是你必须精通至少高中的知识。

（五）、你必须具有正确的语言能力，能够正确用词、构思及写作，这很关键。因为你的研究是以论文的方式表达的，行文不得有任何错误。

（六）、你必须具备很高的逻辑思维能力。逻辑思维反映了客观现实，而现实具有不变及相关性，所以逻辑思维描述的对象也具有不变及相关性。

（七）、审慎发表你的论文，发表前你必须深思熟虑你的论文。

（八）、发表论文后你必须经得住打击和冷遇以坚持你的立场。

王军

作者: lkPark 时间: 2017-9-10 13:41

蔡家雄发表于 2017-9-10 13:30
纵观近几百年的伟大科学家，

居然93%以上的是基督教徒。

历史是向前发展的，人类终将离开神学。神学是人类蒙昧的历史必然，其消失也将必然，正如奴隶制、封建社会的消失一样。

作者: lkPark 时间: 2017-9-10 13:55

蔡家雄发表于 2017-9-10 13:49
就连发射星际飞行物，

也要求祷上帝的保佑！

“上帝创造了世界”，可是上帝在什么地方创造了世界？

作者: lkPark 时间: 2017-9-10 16:03

蔡家雄发表于 2017-9-10 13:57
王军老师：

上帝就是自然法则！无处不在，无时不在。

科学之神，也已不是传统神论。

作者: 云南玉龙之 时间: 2017-10-23 14:15
生活困难，吃饭在饥饿边缘，就没有研究科学的资格吗？

作者: lkPark 时间: 2017-10-23 21:00

云南玉龙之发表于 2017-10-23 14:15
生活困难，吃饭在饥饿边缘，就没有研究科学的资格吗？

我没说谁没资格做科学研究！

作者: 云南玉龙之 时间: 2017-10-23 22:43
关注微信：DuoDaaMath每天获得更多数学趣文作者，MathOverflow网站上众人。翻译，小米，哆嗒数学网翻译组成员。原帖地址：http://matho
关注微信：DuoDaaMath 每天获得更多数学趣文
作者，MathOverflow网站上众人。
翻译，小米，哆嗒数学网翻译组成员。
原帖地址：http://mathoverflow.net/questions/27755/knuths-intuition-that-goldbach-might-be-unprovable
我们在国内见过太多的数学网站，这些网站要么讨论些数学八卦，要么以讨论中小学数学的初等问题居多。而MathOverflow（简称MO）这个数学网站却不一样，这里提供了一个很好的平台供人们讨论专业性的数学，如果你是从事数学研究，这是一个好去处，你会惊奇的发现各个方向传说级别的大神在那里讨论问题。
网站内，都以英文讨论问题，而且只接受达到研究水平(Research Level)的问题。如果你提的问题水平不够，是会被管理员无情的关闭掉的。
当然，网站内也讨论一些与数学相关闲聊性质的不太硬核的问题，他们叫软问题(Soft Question)。这里，我们哆嗒数学网的小编们整理了一个关于哥德巴赫猜想（简称“1+1”或者“哥猜”）是不是可以证明的闲聊——注意，前面说过了，就算是闲聊也必须是研究水平的。参与闲聊的，可有大名鼎鼎的，被很多人视为男神的著名数学家陶哲轩哦！
阅读下面的内容，读者也需要相关专业的专业知识储备。感兴趣的读者也可以利用wiki来补充这些相关知识。
网友AgCl的提问：
“Knuth从直觉出发，表示哥德巴赫猜想（即每个大于2的偶数可以表示成两个素数的和）也许是一个既不能被证明也不能被证伪的结论，这个想法一直困扰着我。（见http://www.ams.org/notices/200203/fea-knuth.pdf, 32页）。我过去接触到的所有关于不可被证明性的结果都是十分抽象的，但是这一个却十分具体。”
“那么问题来了。是否存在一个类似哥德巴赫猜想的命题，被证明是不可判定的呢？所‘类似’是指形如‘所有自然数都具有性质P(n)’这样的命题，其中P(n)是某个关于自然数的性质。例如在哥德巴赫猜想中，P(n)就是‘如果n是大于2的整数，那么存在两个素数p与q使得n=p+q．’”
“如果Knuth的直觉是正确，那么这个结论在如下意义下非常有趣：哥德巴赫猜想的否命题如果是对的，那就显然是可证明的．所以如果哥德巴赫猜想被证明是不可被证明的，那么我们就知道哥德巴赫猜想会是对的，因为现在没有人能找到任何一个反例．从一个经验主义者的角度来说，这相当于证明了哥德巴赫猜想．”
网友们对此评论纷纷．有的网友对此想法不屑一顾“这更像是瞎猜而不是直觉吧”。
有的网友更是提出了反对意见“Knuth是个天才，虽然我不愿意但我不得不反对他的这个看法，因为我认为哥德巴赫猜想不可判定是十分荒谬的事情．注意到Knuth的论证也能同样地被应用在奇哥德巴赫猜想（即每一个充分大的奇数可以表示成3个奇素数的和）．在某种意义上，可以用于所有已经被证明的重要数学定理上．”
菲尔兹奖得主，数学家陶哲轩认真的回答了这个问题，也得到了最多的支持，他说：
“当我们说一个命题是不可判定的，总是隐含地针对某个公理体系来说的，例如皮亚诺算术或ZFC．一个算术语句之所以可以是不能判定的，是因为存在与这些公理体系相容的,相互不等价的算术模型．（这是哥德尔完备性和不完备定理的推论）．例如，标准的（或称为‘真’的）自然数遵循皮亚诺公理，但一些奇异自然数系统（即非标准自然数）也遵循皮亚诺公理．因此，的确可能出现某个算术语句，如哥德巴赫猜想，对于标准自然数成立，但对于某些其它遵循皮亚诺公理的非标准自然数不成立．但我个人认为，这种可能性很小．（注意到根据Loe定理，非标准自然数与自然数一样满足一阶语句，但人们也可以构造出更为奇特的算术模型使之导出完全不同的理论）．”
“因此，如果哥德巴赫猜想在某个给定公理体系中不可判定，那么这将说明每个大于4的‘真’的偶自然数是两个素数的和（否则我们将能在有限长度内证伪哥德巴赫猜想），但同时也说明存在一个遵揗此公理体系的，更奇特的自然数系统（比标准自然数更大），满足存在一些奇异偶自然数不是两个奇异素数的和．（注意到一个证明的长度必须是标准自然数，而不是奇异自然数，所以存在一个奇异的反例并不能直接证伪哥德巴赫猜想．）这种情形出现的可能性很小，但先验地来说这并不是不可能的（例如Goodstein定理的例子或Paris-Harrington定理）。”
“需要补充的是，当我们谈论像标准自然数这样的东西时，总是要通过一个外在的推理体系，而这个外在的系统也许和我们分析不可判定性的推理体系并不一样．例如，我们可以把ZFC作为外在的推理体系来分析在皮亚诺算术中什么是可判定的，什么是不可判定的，这时标准自然数的构造可以利用如冯诺伊曼序构造结合无穷公理．我们也可以用一个非形式化的外在推理体系，例如一个建立在柏拉图主义对数学对象信念之上，未被显式公理化的推理体系．为了防止在研究中混淆，最好是在概念上分清外在推理体系与被研究的内在体系。”
下面这个同样很受欢迎的回答是由网友gowers给出的：
“我曾经听Don Zagier提到一个更一般的想法：说一些理应成立的结论是不可被证明的，相当于说你所能预料到的东西都会发生．例如，π在它的十进制小数展开中存在无穷多个0这个命题，也许非常难，甚至是不可能被确切地，因为如果它真的被证伪了就是个奇迹了——也就是说如果它是对的，它并不需要一个理由去是对的。”
“哥德巴赫猜想是这个想法的一个有趣情况．我们知道‘素数是随机的’是一个经验性结论，而通过实验人们验证了至少在十分大的范围内哥德巴赫猜想是对的．如果恰当地结合这两者，也许我们能论证哥德巴赫猜想是错的概率非常地小。所以哥德巴赫猜想，作为一个关于素数的问题，像极了Zagier所说的那一类极为困难的问题。而且确实它至少十分难证明．但也有着其它类似的，如Vinogradov的三素数问题（每一个充分大的奇数都可以表示成3个素数的和），通过挖掘素数的这种‘随机性’而得到证明．也就说，某种程度上数学家证明了一个经验性的结论，而这个经验性的结论告诉了你一些你预期会成立的事实．从这种观点来看，哥德巴赫猜想不能被证明是因为现有的证明手段失效了：我们现有的伪随机性概念还不够强，因此不能保证伪随机数的和集不存在间隔．（现有的证明手段倒是可以证明，对（某种意义下）‘几乎所有’的偶数能够表示成两个素数的和．）＂
“也许我们能说，既然技巧失效了，那么Zagier的评判标准就能派上用场了。但我个人对此十分不舒服——那些比我对哥德巴赫猜想研究得更多的数论学家都同意这个问题暂时是难以触及的，但他们有时候会仔细探讨证明大概会长得是什么样子。”
“不过我想，至少可以有充足的理由相信，哥德巴赫猜想‘无条件就是对的’．而一个涉及不可证明性的命题，让人感觉哥德巴赫猜想即使是对的，也必须有一个理由．”
网友T..从另一个角度给出自己的看法：
“这就像是在问诸如＇外星人降临地球并给出一个关于哥德巴赫猜想在皮亚诺算术中不可证明的证明＇或＇一块古老的楔形文字石板上隐藏着一个RSA加密的关于黎曼假设独立于ZFC的证明＇等事件的概率．在上述情景中，哥德巴赫猜想（或黎曼假设）确实被获知是PA-不可证明的，但这也仅仅是作为某种巨大科学飞跃的副产品，以至于它们是否可证明都只是平凡的了．于是在这种情况下人们可以直接考虑外星人降临或巴比伦手稿的问题．”
“现在唯一已知的证明哥德巴赫猜想不可证明的方法，是通过寻找一个能够嵌入素数加性系统的皮亚诺算术（即：PA是否能从一个满足如下性质的PA-可构造函数g导出自身的一个模型：对任意的n>1，g(n)和(2n-g(n))都是奇素数）。这个命题将说明素数集合具有某种程度的刚性和复杂的结构，而现有的手段是难以企及这种性质的研究的－－其它的数学邻域也有类似的困境，如在代数数论（ζ函数）研究中人们希望找到与几何与拓扑弱的类比，或者在加性数论中发掘某种概率性的（拟随机性）结构－－这些命题让现有的数学都变得微不足道了。”
“另一种同样令人震惊的可能被用于证明哥德巴赫猜想超越PA的思路，是找到一种可证明一般（具体）的数学命题的PA-不可判定性的全新方法．如果这样的方法被找到，那么就意味着不仅仅是哥德巴赫猜想，还有一大批开放的猜想也能被证明是超越PA的（并在此过程中，在一个更强的体系如ZF中被解决）．这样一种具有普适性，能够把一大批现在猜想变成PA不可判定的ZFC定理的方法，与外星人降临一样，将会是如此的重要和带给人惊喜，以至于哥德巴赫猜想都不值一提了．”

“虽然未来的任何发现都有理论上的可能性，但就目前来说，只有唯一一个证据使我们相信哥德巴赫猜想的PA-不可证明性（即，在一个更强的体系，如ZF中，证明哥德巴赫的PA超越性）也许是正确的；那就是在过去80年间得到的一些哥德尔不可证明性和独立性的结果．而无论是在数理逻辑还是在其它的数学邻域，都没有迹象表明素数具有某种难以置信的精细结构，或存在某种普适性的关于不可证明性的理论．因此，认真地谈论哥德巴赫猜想或黎曼猜想是否是PA-不可证明的，其实只是纯粹的对某个可能出现的崭新数学分支的展望，而无论结果如何时，与任何特定的数论问题的发展并无直接联系．”
关注微信：DuoDaaMath 每天获得更多数学趣文

作者: lkPark 时间: 2017-10-24 09:13
本帖最后由 lkPark 于 2017-10-24 09:34 编辑

云南玉龙之发表于 2017-10-23 22:43
关注微信：DuoDaaMath每天获得更多数学趣文作者，MathOverflow网站上众人。翻译，小米，哆嗒数学网翻译组成 ...

现有的数学理论体系是不完备的，所以哥德尔不完备理论能在该体系下成立。一旦完善了数学逻辑体系，哥德尔不完备性随即变得没有意义，并且该完备的数学体系能解决所有的数学猜想及难题，逻辑上不存在任何定理不可被证明性，但是人类的认知能力有限他们不见得能认知并证明任意数学定理。

作者: 云南玉龙之 时间: 2017-10-24 10:48

lkPark 发表于 2017-10-23 13:00
我没说谁没资格做科学研究！

两弹一星也是勒紧裤腰带（半饥饿）的情况下搞出来的

作者: 任在深 时间: 2017-10-25 00:45

lkPark 发表于 2017-10-24 09:13
现有的数学理论体系是不完备的，所以哥德尔不完备理论能在该体系下成立。一旦完善了数学逻辑体系，哥德 ...

你的认识基本正确！
在正确的理论指导下真命题必然得证！！

作者: lkPark 时间: 2017-10-25 08:51

任在深发表于 2017-10-25 00:45
你的认识基本正确！
在正确的理论指导下真命题必然得证！！

数学人理应达成共识。

作者: 任在深 时间: 2017-10-25 11:01

lkPark 发表于 2017-10-25 08:51
数学人理应达成共识。

可惜还差得太远？
比如：
π=3+√2/10，是代数数！
可是还在认为 π=3.1415926......是超越数？愚昧无知呀？！

作者: lkPark 时间: 2017-10-25 12:21

任在深发表于 2017-10-25 11:01
可惜还差得太远？
比如：
π=3+√2/10，是代数数！

同一数值可以由不同的数值计算得出。

作者: 任在深 时间: 2017-10-25 15:23

lkPark 发表于 2017-10-25 12:21
同一数值可以由不同的数值计算得出。

唉！
不知所云？
不是行话！

作者: lkPark 时间: 2017-10-25 16:01

任在深发表于 2017-10-25 15:23
唉！
不知所云？
不是行话！

在此讨论整数你搞个π出来打鸟吗？

作者: lkPark 时间: 2017-10-25 16:01

任在深发表于 2017-10-25 15:23
唉！
不知所云？
不是行话！

在此讨论整数你搞个π出来打鸟吗？

作者: 任在深 时间: 2017-10-25 21:11
本帖最后由任在深于 2017-10-25 21:41 编辑

lkPark 发表于 2017-10-25 16:01
在此讨论整数你搞个π出来打鸟吗？

因为π恰恰也在讨论范围之内！
在基本单位圆中：如TU(一），
1.点：A,B,C,D,a,b,c,d,O是没有大小和形状的---------------------------零维单位，n=0，1，2，3......
2.线：AB=BC=CD=DA=db=ac=R=√2n,ab=bc=cd=da=√n---------一维单位，n'=1',2',3',4',5'......
3.面：S□=(AB)^2，S■=(ab)^2, S○=πr^2，--------------------------二维单位，n"=1",2",3",4".......
4.比例关系：
(1)外方率：Π=H/R=4l/R=4√2n/√2n=4，
(2)内方率：E=M/R=4h/R=4√n/√2n=2√2=e,
(3)圆周率：π=C/R=2(R+r+h/10)/2=2+1+√2/10=3+√2/10.

你的明白？！

作者: lkPark 时间: 2017-10-28 09:12

任在深发表于 2017-10-25 21:11
因为π恰恰也在讨论范围之内！
在基本单位圆中：如TU(一），
1.点：A,B,C,D,a,b,c,d,O是没有大小和形 ...

看来你始终无法逃离几何的圈圈。

作者: 任在深 时间: 2017-10-28 21:11

lkPark 发表于 2017-10-28 09:12
看来你始终无法逃离几何的圈圈。

看来你不知道一切数都是形的结构关系！？

作者: 波斯猫猫 时间: 2017-10-31 17:26
民科的素养：必须尊重科学、敬畏科学；坚持科学原则、坚持科学标准、坚持科学共同体。

作者: lkPark 时间: 2017-12-3 23:35

永远发表于 2017-12-3 21:00
这篇文章本人有一千多字的感想拉马努金

呵呵！

作者: 任在深 时间: 2017-12-5 21:50

永远发表于 2017-12-3 21:00
这篇文章本人有一千多字的感想拉马努金

可惜与楼主谈论问题-------似乎是对牛弹琴？！

作者: zy1818sd 时间: 2018-3-30 11:55
民科人士特点，爱急躁，动脾气。
民科人士的优点：头脑中没有陈规限制，敢向一切难题不计后果地公开挑战。

作者: 费尔马1 时间: 2018-3-30 19:33
zy1818sd老师说:民科人士特点，爱急躁，动脾气。
民科人士的优点：头脑中没有陈规限制，敢向一切难题不计后果地公开挑战。
老师说的是，赞成！

作者: zy1818sd 时间: 2018-3-31 09:26
因为民科人士头脑中没有陈规限制，所以，当今时代的数学的创新发现由民科人士做出的可能性更大。

作者: zy1818sd 时间: 2018-4-2 15:45
实际上不管是专业人士还是民科人士，在当今时代发现一个新的数学规律都太难了！

作者: lkPark 时间: 2018-4-2 16:37

zy1818sd 发表于 2018-4-2 15:45
实际上不管是专业人士还是民科人士，在当今时代发现一个新的数学规律都太难了！

无需考虑其难易。

作者: zy1818sd 时间: 2018-4-3 09:39
这里说的难易是说出现的机率太小了。但我坚信一定会出现。

作者: 费尔马1 时间: 2018-4-5 19:27
好！老师说的是啊！

作者: zy1818sd 时间: 2018-4-6 11:11
不管是专业人士还是民科人士，能发现一个新的数学规律都将是中华民族的骄傲！

作者: 费尔马1 时间: 2018-4-6 20:42
唉！有些人是真的瞧不起民科啊！！！

作者: zy1818sd 时间: 2018-4-7 09:34
不要尚失信信，你很快就会看到，基础数论的的创新成果，出自民科之手。

作者: zy1818sd 时间: 2018-4-8 16:09

不管是专业人士还是民科人士，能发现一个新的数学规律都将是中华民族的骄傲！
这里说的难易是说出现的机率太小了。但我坚信奇迹一定会出现。

作者: zy1818sd 时间: 2018-4-10 16:14
加强学习苦练内功，让基础数论刮起中国旋风！

作者: 费尔马1 时间: 2018-4-12 06:00
加强学习苦练内功，让基础数论刮起中国旋风！

以我看来，真正解决世界数学难题的方法，要以书本知识为根本，去创新某个奇异的学科，但不一定是复杂高深的理论，只不过不同于以前所有的理论，这叫前无古人，也可能是后无来者。如果不能开创一个新的知识领域，解决世界级的数学难题谈何容易啊！老师们说是不是啊！

作者: lkPark 时间: 2018-4-12 08:30

费尔马1 发表于 2018-4-12 06:00
加强学习苦练内功，让基础数论刮起中国旋风！

以我看来，真正解决世界数学难题的方法，要以书本知识 ...

数学旋风已经刮起！搞数学研究需要强大的思维能力而成功么否都是次要的。

作者: zy1818sd 时间: 2018-4-12 10:26
真正解决世界数学难题的方法，要以书本知识为根本，去创新某个奇异的学科的规律，但不一定是复杂高深的理论，这真的是实事求是的态度。深刻！

作者: 费尔马1 时间: 2018-4-12 11:11
例如这个题，请解不定方程:（只求出其一个解）
x∧997081+y∧997201=z∧997369
在我看来，这个题是很简单的，我发到论坛里是给老师们一个数学游戏，这么多天了，还能是大家认为这根本不是一个数学题，认为我是胡编乱造的，所以一直没有人解，其实这个题确实是一道高次方程，可以求出其特殊解，同时也属于比尔猜想的题，还请老师们多多关注！
再者，我确实找到了素数的总公式，可以求出任意一个素数，但是，似乎没有引起数学界权威人士的注意，唉！……

作者: zy1818sd 时间: 2018-4-12 11:22
你拿出一个具体事实就有人关注了，不要光说不练，懂吗？

作者: lkPark 时间: 2018-4-12 12:25

费尔马1 发表于 2018-4-12 11:11
例如这个题，请解不定方程:（只求出其一个解）
x∧997081+y∧997201=z∧997369
在我看来，这个题是很简单 ...

若有解xyz的取值是有限的，而费马大定理的解值域在于无限，懂了吗？

作者: zy1818sd 时间: 2018-4-12 15:13
我没有深入研究这个问题，无法发言。

作者: 费尔马1 时间: 2018-4-12 19:36
x∧997081+y∧997201=z∧997369这个题有无穷多组正整数解。

作者: lkPark 时间: 2018-4-12 20:01

费尔马1 发表于 2018-4-12 19:36
x∧997081+y∧997201=z∧997369这个题有无穷多组正整数解。

你无法证实你的猜想，你这不是费马不定方程。

作者: 费尔马1 时间: 2018-4-13 06:07
我没说是费马不定方程啊！我说这是比尔猜想的题。

作者: 费尔马1 时间: 2018-4-13 06:18
本帖最后由费尔马1 于 2018-4-13 06:21 编辑

[2^（994577364169K+822421580730）]^997081
+[2^（994457679889K+822322613130）]^997201
=[2^（994290170281K+822184098499）]^997369
其中，k=0 1 2 3……

作者: zy1818sd 时间: 2018-4-13 13:08
你的素数总公式下哪里呀？

作者: lkPark 时间: 2018-4-13 15:03

费尔马1 发表于 2018-4-12 11:11
例如这个题，请解不定方程:（只求出其一个解）
x∧997081+y∧997201=z∧997369
在我看来，这个题是很简单 ...

素数公式不能含P。

作者: 费尔马1 时间: 2018-4-13 20:13
老师您好！您看看，我的不是猜想吧。
[2^（994577364169K+822421580730）]^997081
+[2^（994457679889K+822322613130）]^997201
=[2^（994290170281K+822184098499）]^997369
其中，k=0 1 2 3 4……
素数的公式我想暂时保留一下，请您谅解。

作者: zy1818sd 时间: 2018-4-16 16:31
这个规律发现的也很好，多玩点具体问题。

作者: 燕太子丹8 时间: 2018-5-24 21:33
但是我以为民科的第一条件是创新意识、创新能力和研究基础天赋。当然基本知识、基础条件、论文写作、外语等方面经过专门学习更好。不过民科许多人不具备这些条件。幸亏不具备，这样才少些传统数学创新框框少些思想束缚。那么多数学基础理论出自庄严老师一人之手也就不足为怪了。试想现今全世界还没有一位在数学基础理论、数学建筑结构方面独树一帜取得改写数学现有基础理论体系之外的成就就很说明问题。

康国柱

20180524

作者: 费尔马1 时间: 2018-5-26 11:14
老师说的好！

作者: wangyangke 时间: 2018-9-19 06:15

lkPark王军，论坛装神；
定睛一瞅，屁屎粪青！

作者: 被遗弃的草根 时间: 2018-9-19 11:43
民科的素质，首要一条是必须具有中华民族的传统美德，遵守有关法律规定作为自己的行为准则。决不能像有的自称民科者，为了出名，不惜无根无据、无中生有疯狂诬陷别人即将发表的文章是剽窃他的，并在多处发帖大造舆论，妄图让诬陷重复多遍就成为事实，这是什么民科？简直就是一个死不要脸的违法分子。

作者: lkPark 时间: 2018-9-19 19:51

被遗弃的草根发表于 2018-9-19 11:43
民科的素质，首要一条是必须具有中华民族的传统美德，遵守有关法律规定作为自己的行为准则。决不能像有的自 ...

本坛的WKE就如同此类下等人物！

作者: 被遗弃的草根 时间: 2018-9-22 12:43

lkPark 发表于 2018-9-19 11:51
本坛的WKE就如同此类下等人物！

最典型的是“数学天皇”！

欢迎光临数学中国 (http://www.mathchina.com/bbs/)