mwbr.net
当前位置:首页 >> 刘嘉忆 >>

刘嘉忆

在中南大学,有一任校长张尧学, 被学生们亲切地称为“尧学欧巴”、“段子手”。 他曾戏称和尚...

通俗地讲,是组合数学里两个证明题证明论强度的问题。 比如说有命题1和命题2两个证明题,如果证明了1,就可以推出2,说明1的证明论强度比2强。 西塔潘猜想是说如果证明了关于顶点图的一个证明题,就可以推出关于树状图的一个结论。 刘路否定了这...

名称就是《RT22 DOES NOT IMPLY WKL0》,百度文库里搜“西塔潘猜想”第一个就是这篇论文。 因为公式没法表示,我写得前面的22是RT的上下标,后面的0是WKL的下标。 你可以去看,不过如果不是专门研究数学的是看不懂的。 反正我高数学得不差,当年考...

刘路解的这个题到底是什么水平的,有多重要 2010年8月,酷爱数理逻辑的刘嘉忆在自学反推数学的时候,第一次接触到这个问题,并在阅读大量文献时发现,海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻...

近来,中南大学大三学生刘嘉忆解决了国际数学难题:反推数学中的拉姆齐二染色定理的证明论强度的研究。这引起了广泛的关注,但由于专业性,很多人并不知道这个问题到底是怎么样的,这里就对刘嘉忆的工作做了一个简单的介绍。什么是反推数学要讲...

2000年由中南工业大学、湘雅医学院、长沙铁道学院合并组成,中南工业原来属于教育部直属大学,其中采矿、粉末冶金、材料等专业相当厉害都是国家重点学科,长沙...

2011年9月16日,作为亚洲高校唯一一位代表,他应邀出席美国芝加哥大学数理逻辑学术会议,并作了40分钟报告。2012年3月20日,中南大学校长张尧学宣布破格聘任攻克国际数学难题的在读学生刘路为中南大学正教授级研究员。根据校方规定,刘路获得100...

有心能知,有情能爱,有缘能聚,有梦能圆。 我们为什么而活着-为快乐,什么样的人最美——自信的人;所以我们不但快乐,而且自信。 当一个人看清自己的...

西塔潘猜想 听语音 西塔潘猜想是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个反推数学领域关于拉姆齐二染色定理证明强度的猜想。在组合数学上,拉姆齐(Ramsey...

同一个人来的,只是有别名

网站首页 | 网站地图
All rights reserved Powered by www.mwbr.net
copyright ©right 2010-2021。
内容来自网络,如有侵犯请联系客服。zhit325@qq.com