b*******k 发帖数: 16989 | 1 【 以下文字转载自 Headline 讨论区 】
发信人: benchmark (maine), 信区: Headline
标 题: Re: 大三生攻克国际数学难题 三院士集体推荐(图)
发信站: BBS 未名空间站 (Mon Oct 10 10:23:23 2011, 美东)
lol
这样的人如果不去芝加哥大学读PHD那才叫奇怪.
在中南大学保妍?哈哈,你那个导师能指导得了他?
记者故意这么写恶心中国教育部的吧?
大四学生刘嘉忆为研究生,并建议教育部有关部门立即采取特殊措施,加强对其学术方
面的培养。
过潜心研究成功攻克了一个多年未解的国际数学难题。
去众多研究该问题而无果者之一,看到这一问题的最终解决感到非常高兴。”“请接受
我对你令人赞叹的惊奇的成果的祝贺!”
提和结论之间的形式关系,故也称符号逻辑。在计算机科学和人们的生活中,数理逻辑
发挥着重要的理论指导作用。
,并在阅读大量文献时发现,海内外不少学者都在进行反推数学中的拉姆齐二染色定理
的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜
想,10多年来许多著名研究br />
方法稍作修改便可以证明这一结论,连夜将这一证明写出来,投给了数理逻辑国际权威
杂志《符号逻辑杂志》。
范大学举行,还是大三学生的刘嘉忆应邀参加了这次会议,报告了他对目前反推数学中
的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一
个否定式的回答,彻底解决br />
学系邓尼斯·汉斯杰弗德看到论文后给他写信:“我是过去众多研究该问题而无果者之
一,看到这一问题的最终解决感到非常高兴,特别如你给出的如此漂亮的证明,请接受
我对你令人赞叹的惊奇的成果的祝贺!”同时,邓尼斯·
去20多年许多著名科研工作者在这方面进行努力。该问题的研究促进了反推数学和计算
性理论方面的研究。” | o******1 发帖数: 12177 | 2 上加州工匠馆呀
【在 b*******k 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 【 以下文字转载自 Headline 讨论区 】 : 发信人: benchmark (maine), 信区: Headline : 标 题: Re: 大三生攻克国际数学难题 三院士集体推荐(图) : 发信站: BBS 未名空间站 (Mon Oct 10 10:23:23 2011, 美东) : lol : 这样的人如果不去芝加哥大学读PHD那才叫奇怪. : 在中南大学保妍?哈哈,你那个导师能指导得了他? : 记者故意这么写恶心中国教育部的吧? : 大四学生刘嘉忆为研究生,并建议教育部有关部门立即采取特殊措施,加强对其学术方 : 面的培养。
| C********g 发帖数: 9656 | | e********t 发帖数: 9607 | 4 这阅读能力……
【在 b*******k 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 【 以下文字转载自 Headline 讨论区 】 : 发信人: benchmark (maine), 信区: Headline : 标 题: Re: 大三生攻克国际数学难题 三院士集体推荐(图) : 发信站: BBS 未名空间站 (Mon Oct 10 10:23:23 2011, 美东) : lol : 这样的人如果不去芝加哥大学读PHD那才叫奇怪. : 在中南大学保妍?哈哈,你那个导师能指导得了他? : 记者故意这么写恶心中国教育部的吧? : 大四学生刘嘉忆为研究生,并建议教育部有关部门立即采取特殊措施,加强对其学术方 : 面的培养。
|
|