c*******9
发帖数: 9032 | 1 References
[1] Philip Wadler. Monads for functional programming. In Advanced Functional
Pro- gramming, First International Spring School on Advanced Functional
Programming Techniques-Tutorial Text, pages 24–52. Springer-Verlag, London,
UK (1995). http: //homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/
baastad.pdf.
[2] Saunders M. Lane. Categories for the Working Mathematician. Springer-
Verlag, New York (1998).
[3] Michael Barr and Charles Wells. Category theory - lecture notes for
ESSLLI. p... 阅读全帖 |
|
m*****n
发帖数: 1513 | 2 MH370 Malaysia plane: How maths helped find an earlier crash
Statisticians helped locate an Air France plane in 2011 which was missing
for two years. Could mathematical techniques inspired by an 18th Century
Presbyterian minister be used to locate the mysterious disappearance of
Malaysia Airlines Flight MH370?
In June 2009, Air France flight 447 went missing flying from Rio de Janeiro
in Brazil to Paris, France.
Debris from the Airbus A330 was found floating on the surface of the
Atlantic five d... 阅读全帖 |
|
g****5
发帖数: 1639 | 3 女物理学家还真不多，而且大多都是做实验的，比如居里夫人吴健雄。女的理论物理学
家就半个，就是以Noether Theorem的Emmy Noether。说半个的原因是因为这位德国大
姐其实是数学家，是搞抽象代数出身的。
著名的女数学家还是不少的。除了上面的这位Noether，还有俄国的没上过大学自学成
才的Kovalevskaya，法国的Sophie Germain等等。 |
|
s********n
发帖数: 4535 | 4 你见过的哪个数学系叫数学科学系？
数学科学学院一般包括数学系以及其他相关学科
其次数学属不属于科学也是有争议的，并非你所认为的“完全不是科学”
Whether mathematics itself is properly classified as science has been a
matter of some debate. Some thinkers see mathematicians as scientists,
regarding physical experiments as inessential or mathematical proofs as
equivalent to experiments. Others do not see mathematics as a science, since
it does not require an experimental test of its theories and hypotheses.
Mathematical theorems and formulas are obtained by logical deri... 阅读全帖 |
|
S**********b
发帖数: 3142 | 5 那Gödel's Incompleteness Theorem 是怎么回事？ |
|
n*********a
发帖数: 1956 | 6 南宋末年的Chinese remainder theorem是数论里的基本定理之一。
南宋时中国人也是第一个发明了管型火器和手榴弹（不过没有TNT，只有黑火药版本的
）。
其实中国变成毫无想象力的劣等民族，是在崖山之战之后。 |
|
d*****w
发帖数: 688 | 7 看到版上沸沸扬扬地争论张老师是非事，网上找到了一篇有关张益唐的文章，写得非常
不错。
在今天中美都是金钱至上的世界里，还有这等杰出人才在努力，乃我大中华的光荣。
张益唐的成就，无需在乎是爱好，努力，耐得寂寞，运气还是任何其他原因，都是值得
敬佩的。
向张老师致敬。
http://www.mysanco.cn/wenda/index.php?class=discuss&action=ques
中间那段是关于张益唐的。文章较长，无耐心则慎入。下面是部分节选。
张益唐的故事这几天在很多媒体上开始流传；但在2013年5月10日以前，知道他名字的
可能屈指可数。知道他行踪的也没有几个。为了潜心研究数学，他把自己几乎与世隔绝
，在美国的偏远省份潜伏下来。2000年初，他的妹妹曾在网上发寻人启事，哥哥张益唐
失去联系了。当时在宾州州立大学当教授的张的老同学给他妹妹回了电邮，表示他哥哥
健康地活着，在钻研数学呢。
1990年中，我和沈捷讨论写一本微分方程谱方法的书(这本近500页的书终于在15年后的
2011年完稿；由施普林格出版社出版) ；为此沈捷到温哥华访问我了一周。研究之余，
我们也闲聊了北大时... 阅读全帖 |
|
z****e
发帖数: 54598 | 8 看你们说王禄燕，特意google了一下
作者：香港浸会大学 --- 汤涛
人物之一：王鲁燕
我是1980年秋天入读北大数学系。恢复高考后，北大1977年没有招生(这一点很可惜，
十年积攒的人才让复旦、中国科大等学校占了很大便宜）。为什么没有招生呢? 按当时
的副系主任丁石孙在他2007年的《自述年谱》所述：“（文革后）的1977年北大数学系
还比较混乱，没有教材，由哪些老师上课也没有安排好，所以七七年就没有招生。”因
此当时1978级就是北大数学文革后恢复高考后的第一批学生。他们那一届是典型的多届
学生混合体，班上最大学生应该是三十三、四岁，最小的十六、七岁吧，还有穿军装的
，这些都是现在这些大学生难以想象的。我们的班主任刘森老师就是1978级的学生，当
时30几岁吧，是大学三年级的学生。由于他比较成熟严肃，干事情非常认真负责，我们
这届比他晚两届的学弟很多见到他都非常害怕。2004年我们大学毕业20年后重聚未名湖
畔，很多人都小有成就了，见到刘老师还是毕恭毕敬，“心有余悸”。
78级不只有成熟的学长，还有些学习上的高手，象考试成绩超好的周青、数学竞赛优胜
者严勇、王鲁燕、陈刚。197... 阅读全帖 |
|
b******3
发帖数: 4385 | 9 所以我得出一个结论就是，被淘汰的人是好人的概率比是坏人高点！所以有点出息的人
，都不应该去谈什么中国官场，几千年了，还是两几套手段！有空多看看数学还是好的
，怎么着老了还能教育教育孙辈，不至于被当成废物！
‘Empires die, but Euclid’s theorems keep their youth forever’
—Volterra |
|
z*********e
发帖数: 10149 | 10 so only very few of you know Nyquist–Shannon sampling theorem
lol |
|
e****o
发帖数: 690 | 11 wai F ----- Li XueMei is an associate professor (Reader) at the
Mathematics Department of the University of Warwick. Her responsibility is
teaching and research. She has been working on geometric analysis of
stochastic processes on manifolds, Malliavin calculus, Infinite dimensional
analysis, L2 Hodge theory, Geometric properties of second order differential
operators. Her current research interests are: stochastic differential
equations with regular and singular coefficients, construction of ... 阅读全帖 |
|
i***a
发帖数: 4718 | 12 学过点物理热力学的都知道吧，温度升高，波动方差也升高。
Fluctuation-dissipation theorem |
|
f**e
发帖数: 3343 | 13 2月2日，美国《纽约客》将刊发特约撰稿人亚历克·威尔金森（Alec Wilkinson）对华
人数学家张益唐的专访。这个只于2001年低调地发表过一篇论文的男人，在2010投入研
究“素数间隔”时，已经55岁了。他不需要通讯录，因为那些数字都在他脑子里；他不
在意职称，觉得交际是浪费时间，但他讲座精彩且毫不炫耀聪明；他论证了“存在无数
对相邻素数（质数），它们的差相差不过7000万”，令学界惊讶。2013年，当他在《数
学年刊》上发表《素数间的有界距离》时，只是一位默默无闻的讲师。
华人数学家张益唐 Peter Bohler 图
2013年5月，张益唐在纯粹数学领域知名刊物《数学年刊》上发表《素数间的有
界距离》，证明了存在无数多个素数对（p, q），其中每一对素数之差，即p和q的距离
，不超过七千万。从此，来自新罕布什尔大学的一位默默无闻的大学讲师（现为教授）
，进入了人们的视野。
纯粹数学（基础数学）是一门研究数学本身，不以实际应用为目的的学问。相
较应用数学而言，纯粹数学严格、抽象，更接近艺术和哲学。自18世纪以来，纯粹数学
成为数学研究的一个特定领域... 阅读全帖 |
|
b******3
发帖数: 4385 | 14 Research on science and technology has a long record in human history. New
breakthroughs have been made continuously, with the development and progress
of society, on the way toward the heights of science. Over the past 100
years from thelate 19th century to the present, science and technology have
successively
evolvedthrough the ages of electrification, atomic energy, aviation, and
space, and now enter the information age. They are the most important
impetus to the
development of human civiliza... 阅读全帖 |
|
w***e
发帖数: 77 | 15 ◇◇新语丝(www.xys.org)(xys6.dxiong.com)(xys.ebookdiy.com)(xys2.dropin.org)
◇◇
关于刘路破解“西塔潘猜想”的一些背景信息
作者：赵大川
（寄自爱尔兰）
最近关于中南大学22岁在校学生刘路因破解国际数学难题“西塔潘猜想”
（Seetapun enigma） 而被中南大学破格聘任为教授级研究员和奖励100万元的
消息和报道很多。为了激励儿子学习和钻研， 我也像多年做科研一样进行了文
献检索。以下信息来源于我的作业，给大家提供一点背景。
1、 关于“西塔潘猜想”
“西塔潘猜想”是西塔潘与他的博士后指导老师Theodore Slaman于1995年
共同发表的论文中提出的一个数学问题。是属于数理逻辑学方面的。它是拉姆齐定理（
Ramsey theorem）的一个分支问题。刘路解决了这一问题。论文至今还未发表出来，但
已通过了评审。将要刊登该论文的杂志为“Journal of Symbolic Logic”（ISSN:
0022-4812）。1936年创刊，属SCI杂志，但影响因子（IF）并不高：2008年为0.439，
200... 阅读全帖 |
|
k******k
发帖数: 888 | 16 丘成桐在他所写的《微分几何讲义》的序言中写道，随着微分方程理论的逐渐成熟，几
何学家开始应用分析方法来解决几何问题，这就是老丘的主要贡献，他开创了几何分析
学派，并且解决了卡拉比猜想和正质量猜想。
在他之前，微分几何由局部微分几何向整体微分几何转变，比如在他的序言中他提到了
Hopf，这个人是第一个将整体几何上的曲率与拓扑学性质相联系的人，从Killing–
Hopf theorem之后，很多人都开始用各种手法来研究曲率与拓扑上的关系，微分方程与
微分几何的结合也就孕育而生，现在用几何流（比如ricci flow, mean curvature
flow等等）的手法很流行，而几何流其实就是一个关于几何度量的偏微分方程。 |
|
s*****V
发帖数: 21731 | 17 After a few weeks, Iwaniec and Friedlander wrote to Katz, “We have
completed our study of the paper ‘Bounded Gaps Between Primes’ by Yitang
Zhang.” They went on, “The main results are of the first rank. The author
has succeeded to prove a landmark theorem in the distribution of prime
numbers.” And, “Although we studied the arguments very thoroughly, we
found it very difficult to spot even the smallest slip. . . . We are very
happy to strongly recommend acceptance of the paper for publication in ... 阅读全帖 |
|
C*******a
发帖数: 448 | 18 see fermat's last theorem |
|
b***y
发帖数: 14281 | 19 That's why I said they (perhaps you included) had no idea about what they
talked about.
The real electron in the standard model is definitely Weyl fermion. There's
no question about that at all. Nor is Weyl fermions anything mysterious. It
is only that both left handed and right handed weyl electrons exist, which
can pair up and form a Dirac pair, and hence give electron a mass term.
However, ever since the famous discovery of Yang and Lee, it is well known
that the electro-weak sector violates ... 阅读全帖 |
|
f*******y
发帖数: 8358 | 20 drift 和diffusion是统一的。半导体把这个单独列出来是想单独研究在浓度梯度和电
场梯度作用下的电子current。从物理角度讲没有区别。
google onsager's theorem.
如果你不懂，请保持谦虚。省得被打脸。 |
|
l******r
发帖数: 18699 | 21 纯数phd都知道数论里的roth定理，不过我估计你肯定没听说，因为你是冒充的
下面是roth定理叙述：
(Roth’s Theorem) Let 0 < δ < 1. For N sufficiently large, any A ⊆ [1
, N ] with
| A |= δN necessarily contains a non-trivial 3-term arithmetic progression.
这个定理证明有很多版本：fourier-theoretic是一种，szemeridi给出一种初等的基于
数学归纳法的政法。
好：
下面是问题：请用数学归纳法证明roth定理
为了让你输的心服口服，我允许你wiki。不过我敢肯定你wiki不到，因为你根本看不懂
证明，copy过来只能暴露你的卑贱。 |
|
发帖数: 1 | 22 有一条小路，穿过田野，通向新南盖特，我经常独自一人去那里观看日落，想象着自杀
。然而，我最终没有自杀，因为我希望了解更多的数学知识。—获得诺贝尔文学奖的数
学家，康德尔最好的传人，罗素
揭开上帝面纱的康德尔疯了，见到SkyNet的哥德尔也疯了。罗素想自杀。拉玛努斤英年
早逝。这些就是研究无穷的下场。大一的时候，我在给一位后来的PhD的情书里手写到
（文字有PS）：我感觉打开了一扇大门，但犹豫是否应该进去。高原上绿草如茵风光明
媚，但只有我一个人......
几年后，我也想到要自杀。
拉玛努斤至少在中国是备受推崇的角色。特别是他悲剧的英年早逝。古时候的科学并不
发达。对人的身体的各种理论仍然十分愚昧。我的肝脏也曾检查出问题。我并没有肝炎
病毒。看着年复一年直线上升的指数医生束手无策。到最后垂死挣扎我才研究试验出来
是饮食出现了问题。
You are what you eat。人的思考思维过程耗费大量的养分。如果跟不上，你就等死吧。
写给立志为科学献身的人们。磨刀不误砍柴功。照顾好自己的身体。为人类做更大的贡
献。
拉马努金 - The Man Who Knew Infinity
2016... 阅读全帖 |
|
h*h
发帖数: 27852 | 23 Zhang, Yitang’s life at Purdue
(Jan. 1985-Dec, 1991)
T.T.Moh1
Dr. Zhang Yitang made a major advancement to the twin prime conjecture
as verified by Prof. H. Iwaniec, a famous number theorist. This is a
historic result. I congratulate Dr. Zhang, Yitang.
The concept of prime nummbers started with Greek mathematics. Euclid
shown that there were infinitly many primes. We may view the integers as
houses built on the integer spots on the real line, and put a light in every
prime number houses. Then in... 阅读全帖 |
|
e*******n
发帖数: 4912 | 24 费利克斯·豪斯多夫（德语：Felix Hausdorff, 1868年11月8日－1942年1月26日），
德国数学家。他是拓扑学的创始人之一，并且对集合论和泛函分析都贡献不少。他定义
和研究偏序集、豪斯多夫空间和豪斯多夫维，证明豪斯多夫极大定理（Hausdorff
maximality theorem）。他也以笔名Paul Mongré出版哲学和文学作品。
豪斯多夫生于布雷斯劳，在莱比锡学习数学，并在那里任教，直至1910年获聘往波昂任
数学教授。纳粹当权后，他想纵然自己是犹太人，但他是受敬重的大学教授，应可免于
迫害。但他的抽象数学研究，竟然被批评为属“犹太人”的，没用而且“非德国”，令
他在1935年失去教席。1942年，当他知悉终于避不过要被送往集中营，他与妻子和妻子
的一名姊妹服毒自尽。 |
|
发帖数: 1 | 25 Chinese remainder theorem |
|
t******l
发帖数: 10908 | 26 这个还是我们中小学数学教育的问题。。。这个具体问题是在数集的 closure 的中小
学概念。
或者就拿前几天的斐波那契数列鉴别数学系妈妈桑小姐作为例子。。。斐波那契是一个
纯整数的数列。但如果你想要加速计算，而不幸你正巧看到了 Binet Formula：
F(n) = (((1+sqrt(5))/2)^n - ((1-sqrt(5))/2)^n) / sqrt(5)
http://artofproblemsolving.com/wiki/index.php?title=Binet%27s_Formula
如果你直接根据这个公式死算精确值的话，你就会发现一定要用 distributive
property, 具体在这里是 binomial theorem，对比如 (1+sqrt(5))^n 进行多项式展开
，结果在 Runtime Big O 上得不偿失。
但如果 sqrt(5) 能写成循环小数，也就是分数的话。。。那你就可以先通分，然后都
变成整数求幂，使用整数协处理器做精确运算，直接得出结果。。。但你如果不知道这
是不可能的，于是就浪费了一辈子在这个不可能的算法上，师从赵丽华的《... 阅读全帖 |
|
t******l
发帖数: 10908 | 27 其实也不是所有 algebraic irrational 放进斐波那契直接生成式子都能回到整数的，
必须要 binomial theorem 展得开能 cancel。。。比如 sqrt(1 plus sqrt(5)) 嵌套
一次，就不行了。。。（老邢这破玩意儿手机上不能写数学加号，算了不继续灌了）。
。。
: 说得出一堆数学名词但解不出 AIME 的人多了去了。。。sqrt(5) 就是
the
square
: roots，algebraic irrational (代数无理数) 的子集。。。不说成
algebraic
: numbers / algebraic irrational 是为了更精确。
: 其实挑名词的刺儿，而不是讨论概念，是 AIME 零蛋但还想装鼻的主要特
征之一
哈哈哈
: 哈哈哈哈哈哈。。。 |
|
y***u
发帖数: 192 | 28 这个适合我们文科生。不就是Faltings's theorem？ |
|
d********m
发帖数: 3662 | 29 Bose啊，三哥冥思起来还是很强的。
再说个，搞数理统计的各种rao theorems总听说过吧。 |
|
d********a
发帖数: 3698 | 30
4世纪的历史学家普罗克洛就这样认为， “Proclus (412–485 AD), a Greek
mathematician who lived around seven centuries after Euclid, wrote in his
commentary on the Elements: "Euclid, who put together the Elements,
collecting many of Eudoxus' theorems, perfecting many of Theaetetus', and
also bringing to irrefragable demonstration the things which were only
somewhat loosely proved by his predecessors".
Pythagoras (c. 570–495 BC) was probably the source for most of books I and
II, Hippocrates of Chios (c. 470–410 BC,... 阅读全帖 |
|
s**********e
发帖数: 33562 | 31 你不会做Fermat Last Theorem，所以Wiles肯定是在吹牛？
我还可以给你提供两个战例：
1 朝鲜战争二次战役志愿军113师向三所里穿插，14小时行军72点5公里。
2 鲁西南战役共军追击郓城国民党181旅，追击速度是每小时14华里。关键的一点是，
还没有追上！
所以，如果你背后有条疯狗狂追你的话，我估计你跑得比红军还快。 |
|
发帖数: 1 | 32 比如这个 Erdős–Ko–Rado theorem |
|
发帖数: 1 | 33 BaddestMan猜想: 圆内任何的一点, 不包括圆本身, 都存在着从这点画一条直线到圆的
边缘, 同时存在着至少另外一条直线从这点到圆的边缘, 这两条直线的的距离是相等的
。如
果排除圆中心点, 则符合该条件的直线, 有且只有2条(包含第一条直线).
大家证明出来后, 请注明这是BaddestMan & （your id) Theorem. 谢谢
奖励50美金 |
|
s*****r
发帖数: 11545 | 34 Ok, assuming there exists any other point N' satisfying AM=AN'. Beacause Arc
length = 2 pie R angle/360, and Arc XN' != (Arc XN = Arc XM), thus Angle
MOA != Angle N'OA, consequently AM=AN' cannot be true due to the cos theorem.
: There exists one and ONLY ONE ..... or prove that it is not true.
: M
: XN.
: AN.
|
|
发帖数: 1 | 35 你的证明我不太认可
但发了$5给你作为参与分
一切解释权归我, 不得上诉
Update: 此问题已关闭
Arc
theorem. |
|
s*****V
发帖数: 21731 | 36 一般人是指理科非本专业的同学。一般人能看懂的题目要么已经被证明了，要么就是太
难没人碰。 费玛大定理很长时间就是这种问题，直到有人把它转换成看不懂的
Taniyama-Shimura theorem，才恢复了逼格。 |
|
b***y
发帖数: 14281 | 37 随便搜一个“经典信息”，“量子信息”的说法：
In quantum information theory, the no-teleportation theorem states that an
arbitrary quantum state cannot be converted into a sequence of classical
bits (or even an infinite number of such bits); nor can such bits be used to
reconstruct the original state, thus "teleporting" it by merely moving
classical bits around. Put another way, it states that the unit of quantum
information, the qubit, cannot be exactly, precisely converted into
classical information bits.
https://en... 阅读全帖 |
|
发帖数: 1 | 38 【 以下文字转载自 Mathematics 讨论区 】
发信人: ReedToBe (ReedToBe), 信区: Mathematics
标 题: ZZ:北大78级数学，张益唐 （里面有莫宗坚的八卦）by Tang Tao
发信站: BBS 未名空间站 (Tue May 21 08:59:56 2013, 美东)
张益唐在美国的导师是从台大走出去的代数专家莫宗坚（Tzuong-Tsieng Moh），他
1969年到的普渡大学开始学术生涯。北京大学数学丛书里面的莫宗坚的《代数学》
（上、下）是很不错的代数参考书。莫老师也是性情中人，网上流传的他的《少年游–
我的大学时代》很精彩；看看小标题就能体会到：“读书记 ；生活记；恋爱记；跷课
记..."。文章开头一段：“民国四十七年（一九五八年）我从中部的台中一中考上了台
大化学系。 当我只身远赴台大报到入学时，看到堂堂学府，几排高大的椰子树，眼睛
为之一亮。 又有梳着清汤挂面头发的女生们奔走在校内路上，真是一个新奇的世
界！”就颇为雷人。中间追女生段的开头“经过了一、二年的苦读，我才发现女同学们
脸若春花，眸若点漆。 有些小和尚们，经也不... 阅读全帖 |
|
发帖数: 1 | 39 看了一下Wiles的战绩。数学家都挺有心计的啊。
丫自己秘密研究费马六年，除了自己老婆没人知道。
最后演讲题目里也没有提到费马。
只是讲到结尾，Oh by the way, this also proves Fermat's Theorem. QED.
麻痹真够吊的 |
|
c*********d
发帖数: 9770 | 40 作者：胡平
中共十七大闭幕，第五代成形：习近平第一，李克强第二。长期以来外界都认为李克强
是胡锦涛刻意培养的接班人，那么为什么又让习近平拔得头筹了呢？据说这和此前中共
高层的一次"民主推荐"有关。中国官方媒体新华社10月24日报道，中共在选举十七届中
央政治局委员的过程中，曾经采用了所谓"民主推荐"程序。在6月23日，400余名中央委
员和中央候补委员都领到了"推荐票"，有资格在200多名符合条件的63岁以下中共正部
级干部中，选出他们属意的中央政治局委员以向政治局常委会举荐。报道没有披露习近
平、李克强二人的得票情况，但有海外媒体说习近平的得票高过李克强，正是凭着这一
条，江泽民迫使胡锦涛同意把习近平的名字放在李克强的前头，成为总书记接班人。
这里我们要问的是：假定在这次推荐中，习近平的票数确实高过李克强，那么，这是否
意味着支持习近平进政治局的人要多过支持李克强的呢？这是否意味着作为总书记的接
班人，习近平比李克强更孚众望呢？答案是：不一定。
道理很简单：因为参与推荐的中央委员们----起码是很多中央委员----都知道，李克强
是胡锦涛刻意培养的总书记接班人。有些人不愿意胡锦涛的计... 阅读全帖 |
|
发帖数: 1 | 41 Hah？
Gauss-Markov Theorem 是1800年发明的，其实是1722年做的铺垫，
Machine Learning啥时候才有的？
这个Least Square早就用的满大街都是了，怎么算成ML里的了？ 你不是80年代读大学
的时候就有了么？
而且这也不是码农的基本功啊，就是数学和统计，发明者是著名数学家高斯啊 |
|
发帖数: 1 | 42 Gauss proved the method under the assumption of normally distributed errors
(see Gauss–Markov theorem; see also Gaussian). The method had been
described earlier by Adrien-Marie Legendre in 1805, but Gauss claimed that
he had been using it since 1794 or 1795.[58] In the history of statistics,
this disagreement is called the "priority dispute over the discovery of the
method of least squares."[59]
Least square的实际发明时间比1800年还早，是1794年就开始了 |
|
d********m
发帖数: 3662 | 43 there is a theorem. i forget its name.
basically it says when the data are very messy and you have no idea of how
they get generated. linear models always provide better predictive capacity.
that's why i almost always choose glm when i model data. |
|
d********m
发帖数: 3662 | 44 this literally can be summarized by the weierstrass approximation theorem |
|
b********e
发帖数: 1100 | 45 华欣：爱城故事――卢刚事件亲历者的叙述
发表于 2015 年 02 月 27 日 由 lixindai
作者简介：华欣牧师来自中国北京，1987年秋进入依阿华大学 (University of Iowa)
计算机系读书，1991年秋经历了 “卢刚校园枪击事件” 后悔改归主。2003年辞去电脑
工作走上全职传道人的道路。2007年五月从慕迪神学院毕业，后在芝加哥活水福音教会
牧会。2013年起转到海外校园机构任总干事。
“你是来旅游吧？”
“不，我是留学生。”
八七年八月，从旧金山飞往锡德腊皮兹(Cedar Rapids，Iowa)的早班飞机上，乘客
不多，个个睡眼朦胧。只有我脸贴舷窗不住向外张望。这时空姐走过来搭话。
“去哪里呢？”
“爱荷华城(Iowa City)。到爱荷华大学去(University of Iowa)。”
“为什么选中那里？大学有很多嘛。”空姐刨根问底。
“我的妻子在那里呀。”我不假思索。
“完美的答案！”
我俩都笑了起来。爱人一年前赴美求学，正在那所大学读数学博士。久别后重逢的
喜悦激动着我，心早就到了那梦魂牵绕的小城。
和我的故乡北京比，爱荷华城可真是太小了。五... 阅读全帖 |
|
w*******e
发帖数: 17 | 46 Louzhu should study some basic ideas of Singular Value Decomposition.
Very often, low-rank matrix factorization means the process of finding a low
-rank matrix to approximate your original matrix.
If you use Frobenius norm to find the best approximation, i.e., minimize
over
|| D -\hat(D) ||_F subject to rank(\hat(D))
then you can get the analytic solution from SVD by simply retaining the top
r singular values (Eckart-Young-Mirsky theorem).
There are many applications based on low-rank matrix... 阅读全帖 |
|
发帖数: 1 | 47 表太乐观
Fermat's Last Theorem 1994年前就被证明了无数次
LOL |
|
s*x
发帖数: 8041 | 48 不过根据这个家伙的track record，很多人不看好。
这人之前也声称证明了其他的，Feit-Thompson theorem，什么S6理论，无疾而终 |
|
x****6
发帖数: 4339 | 49 他的index theorem不是号称数学里的大一统理论吗？ |
|
发帖数: 1 | 50 从一个不可导的实函数，可以通过积分，构建一个一阶可导的实函数。
但是在复平面上，怎么定义积分呢？
只能要求，通过不同路径的积分，结果应该一样。
i.e. Cauchy's integral "theorem" |
|
