西塔潘（Seetapun）猜想是一个国际数学难题吗？(Xys.org) - 未名空间MITBBS历史存档

国际科技财经博客移民网络热点娱乐民生时事公众号

Redian新闻

>未名空间

>WaterWorld - 未名水世界

西塔潘（Seetapun）猜想是一个国际数学难题吗？(Xys.org)

西塔潘（Seetapun）猜想是一个国际数学难题吗？(Xys.org)# WaterWorld - 未名水世界

w*l2012-03-29 07:03

1 楼

http://www.xys.org/xys/ebooks/others/science/dajia13/liulu2.txt
◇◇新语丝(www.xys.org)(xys6.dxiong.com)(xys.ebookdiy.com)(xys2.dropin.org)
◇◇
西塔潘（Seetapun）猜想是一个国际数学难题吗？
作者：青椒
现在有一个关键性的问题，必须要澄清：西塔潘（Seetapun）猜想是国际数
学难题吗？
媒体有如下的描述：
“2010年10月的一天，刘嘉忆突然想到利用之前用到的一个方法稍作修改便
可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符
号逻辑杂志》。”
可以看出，西塔潘（Seetapun）猜想不具有国际数学难题的基本特征。哥德
巴赫猜想、费马大定理、庞加莱猜想等国际数学难题，哪一个不需要复杂方法的
运用、大篇幅的论证？而西塔潘（Seetapun）猜想，只需要对“一个方法稍作修
改”，就可以“连夜将证明写出来”，这能是“国际数学难题”应有的水准吗？
这个被国内媒体大肆宣传的所谓西塔潘（Seetapun）猜想，是D. Seetapun
与其合作者T. A. Slaman在1995年发表的一篇论文（Google学术搜索显示，该文
至今共被引用43次）中提出的四个问题中的一个，是Seetapun单独提出的。这样
的问题在数学领域中比比皆是，不会引起主流数学家的关注。事实上，研究平凡
的问题有损数学家的声望。
刘嘉忆的这篇论文即将在《符号逻辑杂志》上刊出，人们拭目以待。有一点
可以肯定，如果这篇论文出自一个教师之手，是决不会引起如此轰动的。
(XYS20120326)
◇◇新语丝(www.xys.org)(xys6.dxiong.com)(xys.ebookdiy.com)(xys2.dropin.org)
◇◇

f*o2012-03-29 07:03

2 楼

方舟子的党徒不配谈数学
滚滚滚
碰到老子我的领域了
我要吐了
滚滚滚
方狗子，离数学越远越好

J*n2012-03-29 07:03

3 楼

so, u know it is an very important conjecture?

【在 f******o 的大作中提到】

: 方舟子的党徒不配谈数学
: 滚滚滚
: 碰到老子我的领域了
: 我要吐了
: 滚滚滚
: 方狗子，离数学越远越好

b*h2012-03-29 07:03

4 楼

你懂就说说，这个猜想有多难，多重要！
说不出来你就连方狗都不如！

【在 f******o 的大作中提到】

: 方舟子的党徒不配谈数学
: 滚滚滚
: 碰到老子我的领域了
: 我要吐了
: 滚滚滚
: 方狗子，离数学越远越好

U*g2012-03-29 07:03

5 楼

David Seetapun
From Wikipedia, the free encyclopedia
David Seetapun is an English logician, investment banker and fisherman.
Biography
He received a PhD in logics from Cambridge in 1991, under Robert I. Soare,
the topic was "Contributions to recursion theory".[1][2] During the fall of
1990, Seetapun was said to have "'used a very interesting 0'"- priority
argument to prove that every r.e. degree 0 < a < 0' is locally noncappable,
namely (35) (Va) o < a < o' (3c) a < c (Vb) b < c[anb = 0 => b = 0".[3] He
went on to a post-doctoral position at Berkeley where in 1995 he published
an influential article with his post-doctoral adviser Theodore Slaman on the
topic of Ramsey's theorem.[4][5] He also proposed the socalled "Seetapun
Enigma", a mathematical puzzle that was not solved until 2010 by Chinese
undergraduate student Liu Lu. After graduating he took a job for Credit
Suisse, but was offered a job by Goldman Sachs. Seetapun made a reputation
for himself managing a trading venture with mathematical models, and has
been cited as "Goldman's top London proprietary options trader".[6] He left
Goldman in March 1998, when he was rehired by Credit Suisse.[4] In 1998 his
models started to fail causing a loss of some 100 million dollars of his own
funds as well as for the firm.[6] He was dismissed and went first to Las
Vegas to live as a gambler and later to Florida to work in the swordfish
fishing fleet. In 2006 he won the "Golden Fly Tarpon Tournament" in fly
fishing at Islamorada, Florida.[7][8][9]

h*e2012-03-29 07:03

6 楼

接受财新记者采访时，Hirschfeldt教授确实对刘路（刘嘉忆）赞赏有加。他表示，这
一难题提出来已经有二十年，可能是逆数学（Reverse Mathematics）领域最知名的开
放问题。过去这些年，试图解决它的学者名单可以列出一长串，Hirschfeldt教授本人
亦在其中。而刘嘉忆的论文，漂亮地解决了这个重要难题。
Hirschfeldt教授说，刘嘉忆解决的难题可以被称为“西塔潘猜想”（Seetapun's
conjecture），但“西塔潘猜想”这个名词并未在学界广为使用。

d*f2012-03-29 07:03

7 楼

d*[email protected]
you can email him about this comment

【在 h*******e 的大作中提到】

: 接受财新记者采访时，Hirschfeldt教授确实对刘路（刘嘉忆）赞赏有加。他表示，这
: 一难题提出来已经有二十年，可能是逆数学（Reverse Mathematics）领域最知名的开
: 放问题。过去这些年，试图解决它的学者名单可以列出一长串，Hirschfeldt教授本人
: 亦在其中。而刘嘉忆的论文，漂亮地解决了这个重要难题。
: Hirschfeldt教授说，刘嘉忆解决的难题可以被称为“西塔潘猜想”（Seetapun's
: conjecture），但“西塔潘猜想”这个名词并未在学界广为使用。

R*s2012-03-29 07:03

8 楼

This wiki was created very recently.

of
,

【在 U*****g 的大作中提到】

: David Seetapun
: From Wikipedia, the free encyclopedia
: David Seetapun is an English logician, investment banker and fisherman.
: Biography
: He received a PhD in logics from Cambridge in 1991, under Robert I. Soare,
: the topic was "Contributions to recursion theory".[1][2] During the fall of
: 1990, Seetapun was said to have "'used a very interesting 0'"- priority
: argument to prove that every r.e. degree 0 < a < 0' is locally noncappable,
: namely (35) (Va) o < a < o' (3c) a < c (Vb) b < c[anb = 0 => b = 0".[3] He
: went on to a post-doctoral position at Berkeley where in 1995 he published

m*n2012-03-29 07:03

9 楼

我问了一个学数学的朋友
他的观点跟LZ转发的大致相同。
SEETAPUN是一个世界著名的难题吗？是难题，但不是世界著名。原因是REVERSE
MATHEMATICS是很不POPULAR的数学领域，很少人对它感兴趣，我朋友估计世界上对这个领域感兴趣的人大概也就100人左右。我问他的时候他都GOOGLE才知道是什么.
刘解答了这个难题引起了这么大的关注只要是因为他的年龄，预示着他也许将来会有更大的成就。一般教授级别的如果解决了类似程度的难题都是很平常的事情。

B*G2012-03-29 07:03

10 楼

新语丝这个文章写的够差的，名字显然应该改成是国际著名数学难题么或者重要的国际
难题么？是个公开发表的数学猜想，被广泛引用但是没被证明都能说是国际数学难题，
知名度和重要性是另外一回事。另外数学论文能发表很难，刘路能被接受发表说明了他
的工作有一定水平。当然国内现在把他吹的，和给他的职务确实值得商榷。新语丝上有
水平的作者看来是都走光了。

【在 w*l 的大作中提到】

: http://www.xys.org/xys/ebooks/others/science/dajia13/liulu2.txt
: ◇◇新语丝(www.xys.org)(xys6.dxiong.com)(xys.ebookdiy.com)(xys2.dropin.org)
: ◇◇
: 西塔潘（Seetapun）猜想是一个国际数学难题吗？
: 作者：青椒
: 现在有一个关键性的问题，必须要澄清：西塔潘（Seetapun）猜想是国际数
: 学难题吗？
: 媒体有如下的描述：
: “2010年10月的一天，刘嘉忆突然想到利用之前用到的一个方法稍作修改便
: 可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符

M*s2012-03-29 07:03

11 楼

到现在为止，还没有人说这个Journal of Symbolic Logic烂。如果是个比较solid的
journal，那么中南大学估计自己的教授没多少能发这个级别期刊的。古时候千金买千
里马骨还是一段佳话。中南大学的做法至少是无可厚非吧。