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 的大作中提到】
: 【 以下文字转载自 Headline 讨论区 】
: 发信人: benchmark (maine), 信区: Headline
: 标 题: Re: 大三生攻克国际数学难题 三院士集体推荐(图)
: 发信站: BBS 未名空间站 (Mon Oct 10 10:23:23 2011, 美东)
: lol
: 这样的人如果不去芝加哥大学读PHD那才叫奇怪.
: 在中南大学保妍?哈哈,你那个导师能指导得了他?
: 记者故意这么写恶心中国教育部的吧?
: 大四学生刘嘉忆为研究生，并建议教育部有关部门立即采取特殊措施，加强对其学术方
: 面的培养。
| C********g
发帖数: 9656 | | e********t
发帖数: 9607 | 4 这阅读能力……
【在 b*******k 的大作中提到】
: 【 以下文字转载自 Headline 讨论区 】
: 发信人: benchmark (maine), 信区: Headline
: 标 题: Re: 大三生攻克国际数学难题 三院士集体推荐(图)
: 发信站: BBS 未名空间站 (Mon Oct 10 10:23:23 2011, 美东)
: lol
: 这样的人如果不去芝加哥大学读PHD那才叫奇怪.
: 在中南大学保妍?哈哈,你那个导师能指导得了他?
: 记者故意这么写恶心中国教育部的吧?
: 大四学生刘嘉忆为研究生，并建议教育部有关部门立即采取特殊措施，加强对其学术方
: 面的培养。
|
|
