久久久国产一区二区_国产精品av电影_日韩精品中文字幕一区二区三区_精品一区二区三区免费毛片爱

機械社區

標題: 中南大學本科生攻克國際數學難題 [打印本頁]

作者: LIAOYAO 時間: 2011-10-13 22:34
標題: 中南大學本科生攻克國際數學難題
困擾了數學界20多年的國際數學難題“西塔潘猜想”，近日被中南大學2008級本科生劉嘉憶攻克了！

http://you.video.sina.com.cn/api/sinawebApi/outplayrefer.php/vid=62912992_1_Oh69SXM6D2bK+l1lHz2stqkM7KQNt6nknynt71+iJAtbUwyJZorfO4kK5ivfAc1L+G4/s.swf

作者: chntod 時間: 2011-10-13 23:02
搜了一下是真的，雖然對數學前沿一竅不通不知道有什么意義，但還是要恭喜一下，另外恭喜中南大學撿了個寶，且沒有把寶扼殺在搖籃中

====================================================

新華網長沙１０月８日電（記者黃興華）數理邏輯在計算機科學和人們的生活中占有重要的地位。中南大學數學科學與計算技術學院２００８級本科生劉嘉憶通過潛心研究，成功攻克一個多年未解的國際數學難題。

　　數理邏輯是研究推理的數學分支。它使用數學的方法，即一套符號體系來研究推理前提和結論之間的形式關系，故也稱符號邏輯。在計算機科學和人們的生活中，數理邏輯發揮著重要的理論指導作用。

　　２０１０年８月，酷愛數理邏輯的劉嘉憶在自學反推數學的時候第一次接觸到這個問題。他在閱讀大量文獻時發現，海內外不少學者都在進行反推數學中的拉姆齊二染色定理的證明論強度的研究。這是由英國數理邏輯學家西塔潘于上世紀９０年代提出的一個猜想。１０多年來，許多著名研究者一直努力都沒有解決。

　　同年１０月的一天，劉嘉憶突然想到用之前用到的一個方法稍作修改便可以證明這一結論，連夜將這一證明寫出來，投給了數理邏輯國際權威雜志《符號邏輯雜志》。

　　《符號邏輯雜志》主編、邏輯學專家、芝加哥大學數學系教授鄧尼斯·漢斯杰弗德在論文評審意見中寫道，看到這一問題的最終解決，他感到非常高興。他并向劉嘉憶表示祝賀。

　　論文審稿人芝加哥大學博士達米爾·扎法洛夫認為：“這是一個重要的結果，該問題的研究促進了反推數學和計算性理論方面的研究。”

　　中國科學院李邦河等院士認為，劉嘉憶在大三時就已獨立解決了重要的數學難題，可見是難得一見的杰出數學人才。他們建議有關部門采取特殊措施，加強對其學術方面的培養，并在各方面對其進行扶持。

http://news.xinhuanet.com/tech/2011-10/09/c_122130366.htm

作者: 白云飛雨建虹橋 時間: 2011-10-13 23:39
是不是不用荒了，淡定之...

作者: xiaoyetongxu 時間: 2011-10-14 01:17
恭喜恭喜。可不可以，把投出去的稿件拿出來欣賞欣賞。

作者: lei88998 時間: 2011-10-14 09:11
靠，那些狗屁磚家看到不覺得汗顏嗎

作者: amqq0807 時間: 2011-10-14 14:12
不要讓人對他進行扶持。在中國，人才都是一扶就遲了

作者: 綠人科技 時間: 2011-10-14 18:04
很厲害沒有機械式的接受高等教育

作者: 白云飛雨建虹橋 時間: 2011-10-16 11:25
好題！

作者: 高遠zz 時間: 2012-3-23 12:01
留校了吧，希望在中國的學術環境中能有更大的突破

作者: hyczt 時間: 2012-3-23 12:35
希望能夠繼續下去...........

作者: brianshao 時間: 2012-3-23 12:35
還是出去吧，混到振寧前輩的年紀再回來吧

作者: q284874509 時間: 2012-10-31 11:55
圣人

作者: qdtruck 時間: 2013-8-16 14:10
有那么簡單就解決了？

作者: amone 時間: 2014-8-6 15:11
很難得啊，通過自己的努力！

歡迎光臨機械社區 (http://www.ytsybjq.com/)