來自：http://www.tianya.cn/publicforum/content/free/1/2294958.shtml
一直以來人們都認為清華、浙大是中國最好的理工科大學，其實這是一個誤會。座落在中國湖南長沙的中南大學（原中南工業大學）才是理工科專家的搖籃，這個學校擁有的院士人數僅次於清華、哈工大，而中南的這些院士又大多數集中在理工科的研究領域。事實上中南大學、哈工大才是中國各類研究型人才的搖籃，才是中國各類工程師的搖籃。中國未來必然要依靠中南大學、哈工大的畢業生，什麽清華、浙大不過是妝點中國高等教育門麵的浮雲。
欣慰中南大學本科生劉路先生破解困擾國際數學界20餘年的“西塔潘”猜想，作為天涯特聘心理醫生兼頭號道德家，懇請天涯雜談網民熱烈鼓掌以示慶祝！
什麽是“西塔潘猜想”？
“西塔潘猜想”又稱“拉姆齊二染色定理”，是由英國數理邏輯學家西塔潘於上個世紀90年代提出的一個猜想。在組合數學上，拉姆齊（Ramsey）定理是要解決以下的問題：要找這樣一個最小的數n，使得n個人中必定有k個人相識或l個人互不相識。2011年5月，由北京大學、南京大學和浙江師範大學聯合舉辦的邏輯學術會議在浙江師範大學舉行，中南大學數學科學與計算技術學院酷愛數理邏輯的劉路的報告給這一懸而未決的公開問題一個否定式的回答，徹底解決了西塔潘的猜想。
劉路的研究。
2010年8月，中南大學數學科學與計算技術學院酷愛數理邏輯的劉嘉憶（劉路）在自學反推數學的時候，第一次接觸到拉姆齊二染色定理，並在閱讀大量文獻時發現，海內外不少學者都在進行反推數學中的拉姆齊二染色定理的證明論強度的研究。這是由英國數理邏輯學家西塔潘於上個世紀90年代提出的一個猜想，10多年來許多著名研究者一直努力都沒有解決。同年10月的一天，劉嘉憶突然想到利用之前用到的一個方法稍作修改便可以證明這一結論，連夜將這一證明寫出來，投給了數理邏輯國際權威雜誌《符號邏輯雜誌》。
2011年5月，由北京大學、南京大學和浙江師範大學聯合舉辦的邏輯學術會議在浙江師範大學舉行，還是大三學生的劉嘉憶應邀參加了這次會議，報告了他對目前反推數學中的拉姆齊二染色定理的證明論強度的研究。劉嘉憶的報告給這一懸而未決的公開問題一個否定式的回答，徹底解決了西塔潘的猜想。 2011年9月16日，美國芝加哥大學數理邏輯學術會議上，雲集了來自歐美的許多數理邏輯專家、學者。大會邀請了12位專家、學者作學術報告，劉嘉憶作為亞洲高校唯一一位代表在會上作了40分鍾報告。他在數理邏輯方麵的研究成果，讓與會專家、學者對這位來自中國的“80後”投上讚許的目光。劉嘉憶表示，他投給《美國數學會匯刊》的論文獲得威士康星大學、伯克利大學等幾位教授很高的評價，有望公開發表。
最漂亮的證明
這是由英國數理邏輯學家西塔潘於上個世紀90年代提出的一個猜想，20多年來許多研究者一直努力都沒有解決。去年10月的一天，劉路突然想到利用之前用到的一個方法稍作修改便可以證明這一結論，連夜將這一證明寫出來，投給了數理邏輯國際權威雜誌《符號邏輯雜誌》。署名劉嘉憶。
稿件投出後，《符號邏輯雜誌》的主編，也是國際邏輯學知名專家、芝加哥大學數學係教授鄧尼斯·漢斯傑弗德寫信給予高度稱讚，“我是過去眾多研究該問題而無果者之一，你給出的如此漂亮的證明，請接受我對你令人讚歎的驚奇的成果的祝賀！”
論文審稿人、芝加哥大學博士達米爾·紮法洛夫也認為，這是一個重要的結果，過去20多年許多著名科研者都在進行努力。該問題的研究促進了反推數學和計算性理論方麵的研究。
2011年9月16日，美國芝加哥大學數理邏輯學術會議上，22歲的劉路受到邀請，作為亞洲高校唯一一位代表在會上作了40分鍾報告。
請路過的清華、浙大數學係學生，自覺鼓掌
