本帖最后由 dianyou521 于 2017-7-10 14:54 编辑
loy_20002000 发表于 2017-7-9 21:17 static/image/common/back.gif
科普数学历史最好的一个系列是悟空推荐的M 克莱因的《古今数学思想》，有中译本并且翻译得很好。但我几个 ...
我的意思是说，公理化方法一个目的是为了特征化我们现有数学系统，但是后来发现每个公理化体系都有不止一个模型。所以连续统假设是否与其他公理协调独立，与连续统假设在我们标准的自然数实数模型中对不对，进而连续统假设对不对不是一回事。这只能说明，公理化方法是有缺陷的。另外，这不是第一因问题，因为可能性太多了，即使实践上也不可能说每一个可能性都对，因为数学感兴趣的领域其实不太大，所以为什么要这个假设而不要那个假设
spacejam 发表于 2017-7-9 23:54 static/image/common/back.gif
这方面的理解跟分球定理其实是一样的，
分球定理表达的也是阿列夫1可以被分为两个阿列夫1之和，
好比什 ...
我之前和dianyou521讨论过类似问题，2年前了。。。。。。。。。。。。
loy_20002000 发表于 2017-7-10 15:44 static/image/common/back.gif
我之前和dianyou521讨论过类似问题，2年前了。。。。。。。。。。。。
难怪，我看你跟他说的话跟与我的讨论有连续性，误解了。
似乎很难说欧洲中世纪有多么创新。当然欧洲中世纪不会像人们说的那么糟糕。但是欧洲突然就爆发式发展。有人说是因为奥斯曼帝国控制了东西方贸易的通道，导致欧洲寻找新航道，导致。。。 关于数学，数学不是从古希腊罗马直接传到西欧的，中间经过阿拉伯数学印度数学的影响（主要是代数），希腊人对代数似乎没那么有兴趣。看历史起起伏伏，印度也是一段时期好像数学特别强，然后就衰落了。像欧洲几百多年这个连续的发展，其实挺不常见的。哲学也是，兴盛期其实不长，古希腊哲学，德国哲学，不知道法国哲学算不算（我并不太看好）。不止兴盛期很断裂，古希腊的哲学很早就经过基督教的影响，经过阿拉伯国家的影响，然后再传到西欧基督教。我们对希腊哲学的看法，有多少是基督教的影响难说。虽然可以像黑格尔那么建立一个精神史，但好像并不太容易说明。
古希腊人觉得无理数是一个危机，阿拉伯数学印度数学乃至中国数学估计就不这么想。我很怀疑有一个纯粹的数学历史，因为数学是很不相同的传统的汇聚。比如，对平行公理的怀疑，我觉得如果没有哲学的影响，很难理解这个必要性。（我自己的理解，希腊人爱有限，平行公理涉及无限）。费马大定理本身并不那么重要，但是费马大定理引出了很多好的数学。费马大定理的证明，完全是从看起来很不相干，其他领域来的。
dianyou521 发表于 2017-7-11 09:23 static/image/common/back.gif
似乎很难说欧洲中世纪有多么创新。当然欧洲中世纪不会像人们说的那么糟糕。但是欧洲突然就爆发式发展。有人 ...
费马大定理，哥德巴赫猜想等都属于好的问题，好的问题可以引发新方法等，相当于一只会下金蛋的母鸡。
kuafusoft 发表于 2017-7-11 10:50 static/image/common/back.gif
费马大定理，哥德巴赫猜想等都属于好的问题，好的问题可以引发新方法等，相当于一只会下金蛋的母鸡。
提出一流的问题需要一流的感觉，所以菲尔马大定理是极其难得的。糟糕的问题要么被快速解决，要么被快速否定，这种一流问题比奶茶mm还稀少。有些数学家一辈子解决问题无数，但没法提出一流的问题，所以被人调侃成系统分析师。
456分！
11月6日晚，2017年度国家执业医师资格综合笔试的合格线一公布，科大讯飞智慧医疗事业部的小伙伴们一片欢腾——由科大讯飞和清华大学联合研发的人工智能机器人“智医助理”以超出分数线（360分）96分的优异成绩，成为我国甚至是全球第一个通过国家医师资格考试评测的机器人。
医疗界的“阿尔法狗”真的来了
等而下之 发表于 2017-11-18 18:45 static/image/common/back.gif
456分！
11月6日晚，2017年度国家执业医师资格综合笔试的合格线一公布，科大讯飞智慧医疗事业部的小伙 ...
机器人可以当“执业医师”了:L，以后还需要人做什么呢？或者说，“人”还能做点什么呢？
yunyun 发表于 2017-11-18 19:22 static/image/common/back.gif
机器人可以当“执业医师”了，以后还需要人做什么呢？或者说，“人”还能做点什么呢？
也许能参考“时间规划局”那个电影，国家保你活到多少岁，剩下的时间自己挣，挣不到就死。