|
|
2#
發(fā)表于 2011-10-13 23:02:08
|
只看該作者
搜了一下是真的,，雖然對數(shù)學(xué)前沿一竅不通不知道有什么意義,，但還是要恭喜一下，另外恭喜中南大學(xué)撿了個寶,，且沒有把寶扼殺在搖籃中$ e$ a. z0 R2 l0 Q
! B7 r9 S1 u# w1 w9 X7 x u. u====================================================
5 {+ C4 o T& d, C e% f& D# C
, X" ~! S ~5 t- r# r& ?' f# {新華網(wǎng)長沙１０月８日電（記者黃興華）數(shù)理邏輯在計算機科學(xué)和人們的生活中占有重要的地位,。中南大學(xué)數(shù)學(xué)科學(xué)與計算技術(shù)學(xué)院２００８級本科生劉嘉憶通過潛心研究，成功攻克一個多年未解的國際數(shù)學(xué)難題,。
" W- Q( l3 Y9 f/ o1 ]. E/ r
6 s6 D% p: U: A% {* |! o 數(shù)理邏輯是研究推理的數(shù)學(xué)分支,。它使用數(shù)學(xué)的方法，即一套符號體系來研究推理前提和結(jié)論之間的形式關(guān)系,，故也稱符號邏輯,。在計算機科學(xué)和人們的生活中，數(shù)理邏輯發(fā)揮著重要的理論指導(dǎo)作用,。# @: c6 L n& s: d7 l* _7 Q
+ G. Z; _7 x; i* J4 }, F# Z
�,。玻埃保澳辏冈拢釔蹟�(shù)理邏輯的劉嘉憶在自學(xué)反推數(shù)學(xué)的時候第一次接觸到這個問題,。他在閱讀大量文獻時發(fā)現(xiàn),，海內(nèi)外不少學(xué)者都在進行反推數(shù)學(xué)中的拉姆齊二染色定理的證明論強度的研究。這是由英國數(shù)理邏輯學(xué)家西塔潘于上世紀９０年代提出的一個猜想,。１０多年來,，許多著名研究者一直努力都沒有解決。 c! @4 {: D, b' C' c n: C
: U2 K1 F. R. O0 Y4 `: F 同年１０月的一天,，劉嘉憶突然想到用之前用到的一個方法稍作修改便可以證明這一結(jié)論,，連夜將這一證明寫出來，投給了數(shù)理邏輯國際權(quán)威雜志《符號邏輯雜志》,。8 ^* t* B+ M2 D# x- ~* g
+ E9 t5 c, Q- S$ w5 w. K
《符號邏輯雜志》主編,、邏輯學(xué)專家、芝加哥大學(xué)數(shù)學(xué)系教授鄧尼斯·漢斯杰弗德在論文評審意見中寫道,，看到這一問題的最終解決,，他感到非常高興,。他并向劉嘉憶表示祝賀。
' `4 g5 e e- _( ]+ T c1 b* e7 [ o
論文審稿人芝加哥大學(xué)博士達米爾·扎法洛夫認為：“這是一個重要的結(jié)果,，該問題的研究促進了反推數(shù)學(xué)和計算性理論方面的研究,。”
; D/ ~- ?! u' v! l7 G r4 y1 G- a' w- V$ ]5 b
中國科學(xué)院李邦河等院士認為,，劉嘉憶在大三時就已獨立解決了重要的數(shù)學(xué)難題,，可見是難得一見的杰出數(shù)學(xué)人才。他們建議有關(guān)部門采取特殊措施,，加強對其學(xué)術(shù)方面的培養(yǎng),，并在各方面對其進行扶持。
7 w& w/ H; F4 Y* p$ P" B! _2 u; `; H# a( x9 Q0 e7 l
http://news.xinhuanet.com/tech/2011-10/09/c_122130366.htm |
|
QQ好友和群
收藏
淘帖
問題專業(yè),，描述清楚
伸手黨/灌水/看不懂
