U*E
发帖数: 3620 | 1 韶关学院，什么学校？
广东90后大学生破解60年未解的世界数学难题
2012年11月06日22:26:38 [新闻大杂烩]
韶关学院大四学生王骁威在6个月的时间里，独自成功论证了世界数学界自上个世纪提
出的一个著名猜想——“仅用1表示数问题中的素数猜想”的不成立性。在屡经一些相
关杂志退稿、学者漠视后，他的论文成功被国际著名数论杂志《Journal of Number
Theory》选定，将在2013年2月出版的杂志上刊发。Mitbbs.com
据《广州日报》报道，昨天，韶关学院正式向媒体确认了这一学术成果。Mitbbs.com
他的“数学史”Mitbbs.com
初中老师启蒙他Mitbbs.com
初三自学完成高中数学课程Mitbbs.com
出生于1990年的王骁威是一名土生土长的韶关人。谈起对数学的迷恋，王骁威说：“我
小时候并没有对数学特别感兴趣，这一切都应该源于初中时候的数学教师李崇英对我的
指导与关爱。当时我在一间普通中学上初中，教数学的李老师对我所有的问题几乎有问
必答，每次都不厌其烦地为我解析。碰上一时无法回答的，他也会自己回去解题后，再
找时间细心地为我解释。他启发了... 阅读全帖 |
|
c***s
发帖数: 70028 | 2 一名大四本科生成功破解了国际数论学界的一个猜想，学术论文发表在国际最权威的数论期刊上，引起了国外学者的关注———韶关学院大四学生王骁威实现了第一步“数学梦想”，却错过了国内研究生考试报名，想继续研究数学的他如今面临着无学可上的尴尬。
他将眼光瞄准了数论
1990年出生的王骁威，是韶关学院数学与应用数学专业大四学生，他说自己从小就对数学有浓厚的兴趣，初中时自学了高中数学课程，高中时自学了大学课程，本科时就开始研读国外原版数学理论，准备着手破解数学猜想，他将目光瞄向了数论。
“数论是研究整数性质的一门理论，是数学中的数学。”王晓威说，大三上半学期开始，他开始研读加拿大数学家Richard K·Guy的著作《数论中未解决的问题》，这本书列出了许多数论界中尚未解决的猜想，王骁威将“仅用1表示数中素数猜想”确定为自己的攻坚目标。
发现反例推翻了猜想
仅用1表示数即只用1通过加法和乘法以及括号来表示自然数，对于给定的自然数n，用1来表示时，1的最少个数记为f（n）。Richard K·Guy提出数学猜想：对于给定的素数p，f（p）=f（p-1）+1是否成立，这个猜想自提出后一直未能获得解答。
经过... 阅读全帖 |
|
i***s
发帖数: 39120 | 3 韶关学院大四学生王骁威在6个月的时间里，独自成功论证了世界数学界自上个世纪提出的一个著名猜想——“仅用1表示数问题中的素数猜想”的不成立性。在屡经一些相关杂志退稿、学者漠视后，他的论文成功被国际著名数论杂志《Journal of Number Theory》选定，将在2013年2月出版的杂志上刊发。
据《广州日报》报道，昨天，韶关学院正式向媒体确认了这一学术成果。
他的“数学史”
初中老师启蒙他
初三自学完成高中数学课程
出生于1990年的王骁威是一名土生土长的韶关人。谈起对数学的迷恋，王骁威说：“我小时候并没有对数学特别感兴趣，这一切都应该源于初中时候的数学教师李崇英对我的指导与关爱。当时我在一间普通中学上初中，教数学的李老师对我所有的问题几乎有问必答，每次都不厌其烦地为我解析。碰上一时无法回答的，他也会自己回去解题后，再找时间细心地为我解释。他启发了我对数学的热爱，他告诉我数学永远不止一个正确答案。正是有了李老师的引导，让我对数学产生了深厚的兴趣，第一次感觉这些数字的世界是如此的博大精深和绚丽多彩。”
但是在升初三那一年，王骁威的数学考砸了。“当时我的数学成绩还是全班第一，但无论是... 阅读全帖 |
|
s*****t
发帖数: 1661 | 4 理论和实践的脱节，士大夫的理论研究和工匠的手工工作的地位的巨大差别，使得不论
是西方还是东方的古代科学和技术都无法形成现代科学。
阿基米德也不叫由了微积分的基本思想，他只能说是在处理面积计算时用了微积分的技
巧，这个和中国古代弄出越王勾践剑差不多，是特例。就算是牛顿，也没完全整明白微
积分的原理，很多年后，到柯西才严格化，再后来20世纪初又经过了集合论公理化等等
的一系列折腾，现在才基本消停。
要是擦边球就算的话，那庄子还是谁的日取其半万世不竭，也是有了无穷小的概念了。 |
|
S***n
发帖数: 2932 | 5 我恰好是作逻辑的。。。所以知道一点皮毛。数理逻辑在数学里是不占分量的，逻辑正
经的都是搞cs的人作的。一个重要原因是逻辑的（我觉得就是唯一）好处是可以
mechanized，ie，可以形式化了让计算机自动处理。
集合论作为一个需要熟悉的工具还稍微有用的，数理逻辑完全就没有必要了。。。如果
是搞数学的话。。。 |
|
c*******v
发帖数: 2599 | 6 形式逻辑还有个好处,就是能到处抬杠.
我恰好是作逻辑的。。。所以知道一点皮毛。数理逻辑在数学里是不占分量的，逻辑正
经的都是搞cs的人作的。一个重要原因是逻辑的（我觉得就是唯一）好处是可以
mechanized，ie，可以形式化了让计算机自动处理。
集合论作为一个需要熟悉的工具还稍微有用的，数理逻辑完全就没有必要了。。。如果
是搞数学的话。。。 |
|
b**g
发帖数: 949 | 7 这种解释非常牵强。
首先是不是个什么人都可以预言很多事情，将来如果预言符合结果，你是不是就觉得那
个人真的有很神奇的特异功能？哲学本身就千差万别，五花八门，今天拿这一条来说明
预言这一条科学理论，明天拿那一条来证明预言了那一个理论，根本就没有可信度。
那个什么无限可分不可分之所以是废话，我就这样问你，假如过二三十年物理学出现了
另一个大一统理论，达到一个新的认知高度的时候，你这句话还符合当时的共识不？如
果连这都无法回答，还说什么指导物理学发展？
最后，也是最重要的，这类陈述缺乏最基本的科学语言规范，就是前面有人讲的不具有
可证伪性，也就是根本算不得科学。
顺便再说一下，如果有兴趣看一看公理系统和集合论，就会发现比什么辩证唯物主义深
刻得多。 |
|
m*******e
发帖数: 21667 | 8 ☆─────────────────────────────────────☆
minotaur (牛头怪) 于 (Tue Sep 21 22:41:06 2010, 美东) 提到:
王竹溪，1943年发明了汉字新部首检字法，并于1979年进一步提出汉字检索新方案，成
为研究汉字检索机器化之先锋。新部首只有56个，几乎没有重码。
还编写了<新部首大辞典>(我买了)，号称收字最多。
方励之：致力研究哲学，出版了《哲学是物理学的工具》一书(我买了)，对马克思主义
的辩证唯物主义进行了大肆批判。
维也纳大学哲学教授莫里茨·石里克。致力于阐明哲学与各精密科学之间的关系。石里
克的《普通认识论》②用一种（他甚至一直坚持到晚期的）形式给出了他对这一问题的
解答。他主张，科学的任务在于要获得关于实在的知识；科学的真正成就既不能被哲学
所毁坏，也不能被哲学所更改；“而哲学的目标是正确地解释这些成就并阐明它们的最
深刻的意义。这一解释既是最终的也是最高的科学任务，而且将永远是这样。” 也就
是说，他并不认为哲学对其他科学有指导作用，而是解释作用。
顺便说一下，他的学位论文是《论光的反射》
哲学... 阅读全帖 |
|
发帖数: 1 | 9 公理系统和严格证明的关系在初等几何的关系是很明显的。
数学其它的一些分支，情况不同。 可以是发展了很多东西之后再回去打基础。比如定
义实数，集合论，之类的。 但是因为什么，所以什么还是很清楚的。 赵的那个证明，
起码没有证明为啥那几个三角形可以正好拼成一个正方形。
你要不服气，你帖个高斯的代数基本定理的证明， 让大家看看算不算证明。 |
|
B*D
发帖数: 5016 | 10 前言
“不管懂不懂经济，看了都会豁然开朗。”
这句话很直白，不过它却是不知名的网友在网络上给我2003年一篇匿名文章起的标题。
写那篇匿名文章的一个原因，是另一个网友在清华BBS上问我：“你为什么不把你的思想
写得简单易懂，让大家都知道呢？”
他的建议让我心动。
2003年以前，中国经济学术界比今天还要固步自封。他们的主要理念是：经济跟武大郎
做烧饼没有什么区别：饼做大了才有吃的，饼吃多了就做不了饼了；钱再多也不能当饼
吃，所以钱是没有用的。
形象地说，他们用了很多复杂的数学工具和模型来干这些事情：使用集合论来论证面粉
如何揉成饼，使用拓扑学来计算饼的形状，使用动态优化来计算分饼的过程，使用随机
过程来计算如何在饼分不均匀的情况下让人们承认自己的饼其实价值蛮不错的……最后
，他们把钞票包在饼上，经过复杂的数学计算，宣布说钞票并没有增加饼的营养，因此
钞票是中性的……
不要笑。假如有朋友深入学习过经济学，就应该能一眼看出上面的故事在指哪些主干理
论。和这些人争论是一件很累的事情，一分钟就可以说清楚的问题，他们会在无关问题
上和你纠缠几年。
幸或是不幸，在中国理论学者走向世界受到热烈欢迎后 |
|
I********l
发帖数: 8702 | 11 这几年，毛派哲学家在西方大出风头。随便说几个吧。
第一个自然是齐泽克，他自己不承认是毛派，不过群众们普遍这么认为。谁让他热爱引
用毛泽东呢？这个月他刚出的一本新书《living in end times》也引用毛的话，天下
大乱，形势大好。“as Mao Zedong puts it, there is great disorder under
heaven, the situation is excellent。矛盾论的英文版也是找他写的序言。齐泽克最
大的特点就是爱说黄色笑话。
不过，真正的头号毛派还是应该算是法国的Alain Badiou，他一生忠诚于毛泽东思想。
去年在伦敦开全球共产主义者大会，他的演讲去的人最多。Badiou本身是数学家，善于
用集合论来解释真理。在他看来，对毛泽东思想的执着就如同爱情，一生一世忠贞不渝。
不过不过，真正将毛泽东思想付诸实践的，还要算意大利红色旅的mind master，
Antonio Negri。Negri做了好多年牢，坐牢期间和杜克大学的小青年Hardt一块合写了
《帝国》一书，一时洛阳纸贵。这本书后来成了三部曲。 |
|
H****g
发帖数: 14447 | 12 就是EGS（欧洲研究生院）巴蒂乌那群左翼思想家。
这些年，EGS集聚了欧洲一大撮左派，像鲍德里亚啊，阿甘本啊，还有就是这个巴蒂乌
了。
鲍德里亚出名是因为电影Matrix，里面男主角手里拿着一本小册子，就是他写的。
阿甘本是意大利左派，指责美国搞恐怖主义。
巴蒂乌更牛逼了，是欧洲60年代以来仅存的几个铁杆毛派，自己是数学家，用集合论将
毛泽东思想发扬光大，坚持走群众路线，天天号召学生们工人们上街推翻萨科齐。去年
他的一本书的标题就是《共产主义假说》。这本书的核心理念就是，共产主义啥样我们
都不知道呢，以前苏共搞的压根不是，以后肯定会出现共产主义，到时候大家伙一起跟
着走就是了。
巴蒂乌政治理论的核心就是平等主义，也就是说，政治的核心就在于平等参与，那么还
有啥能比上大街游行更能显示群众平等了？所以巴蒂乌用极具煽动力的带有浓重法国口
音的英语说，大家都上街吧。于是就有了最近几年的好多个大游行。 |
|
l**i
发帖数: 8144 | 13 用集合论将毛泽东思想发扬光大
修辞手法 还是真的有此理论？ |
|
w****2
发帖数: 12072 | 14 1) 我在这个版上说过好几次了，我是搞计算机的，既有实际的系统设计和实现，也有
理论的推导和建模，学习过数理逻辑，集合论，代数结构（如群环域），数学分析，
Markov model， stochastic model， 等等。
2) 别岔开话题，先把这个问题说清楚:
＂按照哪个历史事实作出你认为毛岸英会接班的评价的？＂
想象可不算。别岔开话题，净整些没用的，来点干的货。
3) 另外，你是不是以为＂最正宗＂这个标题是我自己加的？呵呵，不调查就按照自己
的臆断来说话，你不是生活在自己的妄想中吗（起码你刚刚用一个活生生的例子证明了
在某些时间你是生活在自己的妄想中）？
你承认一下犯了错误又不会死。 |
|
w****2
发帖数: 12072 | 15 论点：Quaker有些时候生活在自己的妄想中
１）
论据１： 你没有任何调查，就臆断地认为我是文科生。 并以此为依据对我评价。
事实是，＂我在这个版上说过好几次了，我是搞计算机的，既有实际的系统设计和实现
，也有理论的推导和建模，学习过数理逻辑，集合论，代数结构（如群环域），数学分
析，
Markov model， stochastic model， 等等。＂
２）
论据２： Quaker以为＂最正宗＂这个标题是我自己加的，呵不调查就按照自己的臆断
来说话，生活在自己的妄想中。 |
|
w****2
发帖数: 12072 | 16 论点：Quaker有些时候生活在自己的妄想中
１）
论据１： 你没有任何调查，就臆断地认为我是文科生。 并以此为依据对我评价。
事实是，＂我在这个版上说过好几次了，我是搞计算机的，既有实际的系统设计和实现
，也有理论的推导和建模，学习过数理逻辑，集合论，代数结构（如群环域），数学分
析，Markov model， stochastic model， 等等。＂
２）
论据２： Quaker以为＂最正宗＂这个标题是我自己加的，不调查就按照自己的臆断
来说话，生活在自己的妄想中。 |
|
f*****e
发帖数: 939 | 17 愚蠢小猪写的《刷盘子读书》 2005-05-30 22:38:58
第一节 从西班牙衰落看俄罗斯2003年亮丽的经济表现
强国上有好事者贴了俄罗斯2003年的经济数据，数据是多么好，成长多么快，自由市场
经济如何有成效，引得自由市场经济崇拜者惊叹不已。愚是数字游戏门出生，擅长把黄
金说成稻草，或把稻草说成黄金，而且还不说谎。俄罗斯如此好的表现，愚偏说不好，
还说俄罗斯更加衰落。各位看官，让愚慢慢道来。
要说俄罗斯，先说西班牙。西班牙离俄罗斯远着呢，但数字游戏门不管，先把人绕晕。
西班牙曾经是超级大国。西班牙当时出产一种羊，羊毛质量非常好，通过圈地运动和羊
吃人，西班牙率先实现了资本主义萌芽。但当时羊毛与其自己纺织，还不如出口卖的钱
多。羊毛主要用来出口，使纺织业及相关技术发展缓慢，产业革命没有在西班牙产生。
后来，在南美发现金山，与其养羊纺织，还不如去淘金，金山把勤勉精神消灭了。大量
金银流入，而生产并没有相应增长，引发通货膨胀，使西班牙的羊毛和毛织物比其它欧
洲国家贵好几倍，与其自己做还不如买，这样金山把资本主义的芽给淹没了。到了1820
年代，西班牙已经是欧洲的穷国。为了保护自己的... 阅读全帖 |
|
H****g
发帖数: 14447 | 18 也就是说，教政治课——无论是马列主义还是毛泽东思想——的老师，都是出身文科的
原因。
国内文科的设置特点呢，就是缺乏基础的理工科训练，比如说，文科生好像就不太学概
率统计什么的。高中分科时，一般也都是那些会写文章的，或者数理化不好的，才会选
文科。
比如说我，高中作文就写的很差，语文不行，数理化相对好些，就是理科班。
因为哲学啊，政治啊，这些都属于文科，所以就导致，数理化不好的，将来教这些数理
化好的人马列主义毛泽东思想。
所以就导致了，稍微有些辩证思维的，有些逻辑推理能力的，有些基础理工科训练的大
学生，可能就会对文科老师教的马列毛感到太肤浅，或者有漏洞，或者说脱离自己的实
践，无法用来指导自己的工作。
而实际上，无论是马克思，还是毛泽东，都是很严谨的科学家，都是能够用理工科思维
去研究社会实践的一流科学家。比如说毛泽东在物理学上的造诣就很深，以至于迷倒了
许多一流的科学家，包括拿到诺贝尔物理奖的科学家，所以才会在毛泽东死后提议用毛
的名字命名粒子。
拿法国的毛派哲学家巴蒂乌来说吧，他自己就是数学家，用数学的集合论研究马克思主
义毛泽东思想。所以我认为所有毛派都是会用理工科思维分析问... 阅读全帖 |
|
|
v*****s
发帖数: 20290 | 20 ft，康托没能证明，这叫连续统假设，是希尔伯特二十三个问题的第一个。后来哥德尔
证明这个和集合论公理体系是独立的，也就是说在现有的数学体系下，不可能证实或证
伪，你只能选择相信或者不相信。 |
|
v*****s
发帖数: 20290 | 21 你可以自己定义“多”和比较的方式，然后从此出发重建整个集合论和数学。 |
|
w***u
发帖数: 17713 | 22 工科WSN们基本没学过集合论或实变函数，还是不谈这个吧。 |
|
j****c
发帖数: 19908 | 23 实变函数或者集合论里头开篇应该就是证明有理数和无理数哪个多
没学过的一般想不到这种问题，不过也就数学 物理 这几个专业学这玩意儿 |
|
z****e
发帖数: 54598 | 24 发信人: vespers (西瓜很好吃), 信区: Military
标 题: Re: 请问所男们，一维直线上的点和二维平面上的点一样多吗？
发信站: BBS 未名空间站 (Tue Aug 30 16:54:40 2011, 美东)
你可以自己定义“多”和比较的方式，然后从此出发重建整个集合论和数学。
其实我说的别人都已经说过了
数学的基石本身就是人定义的
cs连进制都改变了，还不是一样适用
关键在于应用 |
|
j*********g
发帖数: 3179 | 25 哥德尔不完备定理只针对包含自然数定理的公理体系。说现有数学体系不自恰，不完备
就太离谱了。
实际上完备的公理体系很多，大家熟悉的欧式几何就是完备的。
哥德尔不完备定律之所以强大就在于自然数定理体系是很多实用公理体系的基础，比如
现有的计算机理论体系必然需要定义自然数。另外还有集合论等等。所以这个不完备定
律已经够人类吃一壶了。
）。 |
|
l******t
发帖数: 2788 | 26 学过集合论的都知道吧
用康托的对角线证明整数集的数量小于实数集：
可以用整数来数，则，所有的（0，1）之间的实数都可以被编号写成q1,q2,...如下表： |
|
b***e
发帖数: 1419 | 27 大哥，Godel证明的是算术系统的自洽性在算数系统本身的表示中是无法证明的。说白
了就是你自己没办法证明你自己是对（无矛盾）的。算术系统的自洽性由逻辑学家
Gentzen在1936年证明了。证明是基于ordinal counting和ordinal induction，所以不
是在Peano Arithmetic可以表示的范围内。故而和Godel's incompleteness不矛盾。
另外实数连续统的独立性（基于集合论的六条公理）不是Godel的工作。是P.J.科恩。
Gedel仅证明的无冲突。 |
|
h****o
发帖数: 2455 | 28 呵呵，军版普遍歧视文科生，可楼上一个集合论的入门问题就奇谈怪论百出，让人有点
跌破眼镜。 |
|
z*******3
发帖数: 13709 | 29 韶关学院，什么学校？
广东90后大学生破解60年未解的世界数学难题
2012年11月06日22:26:38 [新闻大杂烩]
韶关学院大四学生王骁威在6个月的时间里，独自成功论证了世界数学界自上个世纪提
出的一个著名猜想——“仅用1表示数问题中的素数猜想”的不成立性。在屡经一些相
关杂志退稿、学者漠视后，他的论文成功被国际著名数论杂志《Journal of Number
Theory》选定，将在2013年2月出版的杂志上刊发。Mitbbs.com
据《广州日报》报道，昨天，韶关学院正式向媒体确认了这一学术成果。Mitbbs.com
他的“数学史”Mitbbs.com
初中老师启蒙他Mitbbs.com
初三自学完成高中数学课程Mitbbs.com
出生于1990年的王骁威是一名土生土长的韶关人。谈起对数学的迷恋，王骁威说：“我
小时候并没有对数学特别感兴趣，这一切都应该源于初中时候的数学教师李崇英对我的
指导与关爱。当时我在一间普通中学上初中，教数学的李老师对我所有的问题几乎有问
必答，每次都不厌其烦地为我解析。碰上一时无法回答的，他也会自己回去解题后，再
找时间细心地为我解释。他启发了... 阅读全帖 |
|
m********5
发帖数: 17667 | 30 不需要, 这是一个简单的集合论问题
有毒为1, 无毒为0
10条鱼可以代表1024种状态
而1000瓶水一定可以得到一种分组组合: 有10个不同的组, 10组的并集为999瓶水. 而
999瓶中每瓶水都可以通过10组简单集合运算得到 (交,并,差)
以下是一个简单的示例比如我们有6瓶水abcdef
分组, 鱼的状态
abc 1 1 1 0 0 0
ade 1 0 0 1 1 0
acd 1 0 1 1 0 0
有毒 a b c d e f |
|
w********0
发帖数: 1211 | 31 严格按逻辑，或者说，按数学集合论理解，的确是矛盾的，只不过从语义理解，一般都
能读懂。
说它矛盾，是因为“父母双方或一方为中国公民并定居在外国，本人出生时即具有外国
国籍的”是“父母双方或一方为中国公民，本人出生在外国”的一个子集，或者说至少
两者有相交的部分。
也就是说，当A与B有交集非空时，如果简单地写 -- “如果A，则中国公民，办旅行证
；如果B，则外国公民，办签证。”逻辑上说的确有矛盾。
严格的写法应该是“如果A否B，则国公民，办旅行证；如果B，则外国公民，办签证。
”也就是把第一句写成 -- “父母双方或一方为中国公民但尚未定居在外国的。。。”
，这样逻辑上就没问题了。
只不过目前的写法，按常规的思维方式和对语义的理解，把第二条作为第一条的一个“
特殊修正”，也就理解了。
这里不得不说一句，美国人虽然数学不好，但在法律文献上，类似问题却极少出现。他
们通常会写--
第一条，。。。（除了第二条的情况外）
第二条，。。。
这样也就严格的把 A否B 给体现出来了。 |
|
p******o
发帖数: 9007 | 32 所有共产党领导人不包括毛泽东？你有没有点集合论的基本知识？最起码你知不知道三
段论？ |
|
k*******r
发帖数: 16963 | 33 最后一张有99和第一张表明还在用59有矛盾吗？你丫没学过基本的集合论？还在用60年
前的59很光荣？穿你妈个解放牌胶鞋打你妈个鳄鱼领带就是高富帅了？ |
|
w***u
发帖数: 17713 | 34 从来就不明白国内为毛要给文科生开个弯弯绕谁也说不清的逻辑课，还要鼓吹什么狗屁
辩证逻辑高于形式逻辑，一个学期学下来除了堆砌名词，还是毫无逻辑。不如直接上简
单明了的集合论和数理逻辑。 |
|
N******K
发帖数: 10202 | 35 把数学加深就行了 所谓逻辑不过是数学形式推理的一部分 或者 集合论的一部分 |
|
N******K
发帖数: 10202 | 36 集合论这个 对逻辑思维很有帮助
各种公式推导 也对逻辑有帮助
总的来说 文科生=脑残 |
|
g****t
发帖数: 31659 | 37 跟你说了很多遍了。ZFC集合论说不定哪天就会发现有悖论。你的大脑是不是不够理解
稍微复杂点的事实啊，还对数学有这么高的神话崇拜？
数学就是手艺的一种，凭啥你指望数学管别的事？ |
|
j*********n
发帖数: 4116 | 38 要不你去重修下集合论和逻辑学？
起码你要记住，以后不要用这种傻范式：XXX是XX经济腾飞的创造者
国粉和搓邓轮总是爱说这种自己也证明不了的半吊子话，然后开始跪舔：圣上圣明 |
|
t**s
发帖数: 483 | 39 以下为ZZ：
费玛最后定理：x^n+y^n=z^n 当 n>2 时，不存在整数解
1. 毕达哥拉斯 Pythagoras 定理，任一个直角三角形，斜边的平方=另外两边的平方和
x2+y2=z2
毕达哥拉斯三元组：毕氏定理的整数解
2. 费玛 Fermat 在研究丢番图 Diophantus 的「算数」第2卷的问题8时，在页边写下
了註
记
「不可能将一个立方数写成两个立方数之和；或者将一个四次幂写成两个四次幂之和；或
者，总的来说，不可能将一个高於2次幂，写成两个同样次幂的和。」
「对这个命题我有一个十分美妙的证明，这里空白太小，写不下。」
3. 1670年，费玛 Fermat的儿子出版了载有Fermat註记的「丢番图的算数」
4. 在Fermat的其他註记中，隐含了对 n=4 的证明 => n=8, 12, 16, 20 ... 时无解
莱昂哈德?欧拉 Leonhard Euler 证明了 n=3 时无解 => n=6, 9, 12, 15 ... 时无
解
3是质数，现在只要证明费玛最后定理对於所有的质数都成立
但 欧基里德 证明「存在无穷多个质数」
5. 1776年 索菲?热尔曼... 阅读全帖 |
|
r********n
发帖数: 7441 | 40 现代工程大量考虑随机变量和概率统计，没有集合论做基础，搞个鸟的概率统计
火箭飞行过程无法控制，boston dynamics 机器狗一踢就倒 |
|
N******K
发帖数: 10202 | 41 集合论? 就那么几套简单的公式而已 有个啥好膜拜的 |
|
w********0
发帖数: 1211 | 42 国籍法第5条荒谬之处，qianjin网友已在此贴
http://www.mitbbs.com/article_t/Military/43481443.html 详述，说白了就是一个在美国的无绿卡的中国人生孩子，如果是同有绿卡的中国人生的孩子不是中国人，同美国人生的孩子反倒是中国人了。
是什么造成了这种荒谬？我仔细想了一下，发现竟然是立法的人集合论没学好。。。
以下为简单起见，只讨论在美国生的孩子，这样就不必啰嗦“出生就具有外国国籍”这
个条件，而把注意力集中在重点上 。其它国家出生的，我的分析略加修改（见结尾处
），也成立。
其实立法的初衷，就是想给中国人在美国生的孩子中国国籍的时候，加个限制条件，即
中国父母不能有绿卡。这个初衷是否合理暂且不论，至少逻辑上并无问题，毕竟有绿卡
比没绿卡距离中国更疏远些，所以孩子相对就更不符合中国国籍条件。
可麻烦的是，“中国父母”这个条件有两种情况，即“父母双方都是中国人”，和“父
母一方是中国人”（当然严格的说法是“有且仅有一方是”，但这点上大家一般不会过
于咬文嚼字）。当集合运算中的“并”和“非”运算结合起来用时，问题就来了。
合理的说法（简略大... 阅读全帖 |
|
b*****d
发帖数: 61690 | 43 多维历史
2000年江泽民出席澳门回归一周年庆典活动，在访问澳门濠江中学时，向该校老师表示
数学是很重要的一门学科，他更当场提出他读中学时所学的一道“五点共圆”平面几何
题。据说，数学大师丘成桐也用半小时才悟出此难题答案。本文摘自2015年7月20日观
察者网，作者龙科多，原题为《读过四年大学 来做点江主席的数学题？》。
1993年6月10日、11日，江泽民视察宝鸡
有一篇文章考证历史，得出了原国家主席江泽民掌握外语竟有八门之多的结论，令后生
惊叹。其实江主席不仅语言、艺术方面造诣出众，对自然科学的掌握也很了得。他在大
学时就得“江博士”雅号，足见家学深厚，爱好广博。在毕业纪念册上，同学们留言中
提到：“博士自幼即聪慧异常，在校成绩，每列前茅，尤长数学，为全级冠。”
那么问题来了，“尤长数学”的江主席，数学水平究竟到了何等境界呢？
却说2006年，江主席的母校上海交大迎来110周年校庆，学长穿了一身西装，配着一条
鲜红的领带，按计划要作一个10分钟的演讲。学长取下手表放在身旁，来了一个幽默的
开场白：“今天给我10分钟的时间讲话。我已经整整80岁了，不像你们学数学、学
Computer... 阅读全帖 |
|
T*******I
发帖数: 5138 | 44 我曾经试图在集合论的基础上给出关于随机对应的定义，并通过逻辑演绎发现一一对应
等确定性对应都不过是随机对应的特列，也就是说，迄今为止以确定性对应为基础发展
起来的数学仅仅是在讨论一些特例的情形。这样说来数学是不是有点太low? |
|
N*******e
发帖数: 3872 | 45 概率论的基础是测度论，测度论的基础是集合论。
都是纯数学
纯数学不是科学。 |
|
w***u
发帖数: 17713 | 46 没有要求数学就是确定性的学科，概率论公理化后，和别的数学分支一样都是可以基于
集合论的。统计嘛，可以认为是应用数学。 |
|
h*********g
发帖数: 1812 | 47 就是逻辑学不行
模型论、证明论、递归论、公理化集合论、语义学和元数学
没几个人学过，也用不起来
所以被传销的被忽悠的被卖到山沟里的理科生工科生一大把一大把的 |
|
n**********5
发帖数: 1707 | 48 不知道还有多少像我这样从中国往美国带书的。呵呵，一箱书能管很多年算起来可能还
不够一宿死值。
没办法，在找得到红袖添香帮忙之前，书还是要自己读。以前是瞎猫撞了死老鼠见到好
的买下来，或者去新华书店看新书预告报纸然后订。这么多年下来读完了不够用。想跟
踪一下最新进展。
按以前的经验，北大的质量最高。找基础理论方面的，如计算机基础理论（如图灵机的
），数学基础理论（如集合论的）和物理基础理论（如相对论场方程方面的）。最晦涩
没人懂没人要哪些。对比英文的，不同的思维有助理解。
试过Amazon.cn，感觉太散太难找了。这里搞学术的多有没有什么好的办法。 |
|
e**a
发帖数: 2169 | 49 你说的是康托尔吧，首先你说的P NP问题不是数理逻辑的？其次康托尔的集合论和数理
逻辑没有关系？估计你以为你们计算机领域的离散数学在数学界是主流吧？ |
|
e**a
发帖数: 2169 | 50 数学就是在研究集合，我刚才说了，在一个集合上加些定义就群环域，换一个定义就是
流形，再换一个定义就是泛函分析和PDE中的各种空间，集合无处不在，只不过研究公
理集合论的也别以为就比研究其他数学集合的高明。
数。 |
|
