|
|
2#
發(fā)表于 2011-10-13 23:02:08
|
只看該作者
搜了一下是真的，雖然對數(shù)學(xué)前沿一竅不通不知道有什么意義，但還是要恭喜一下，另外恭喜中南大學(xué)撿了個寶，且沒有把寶扼殺在搖籃中9 h% `( T% R( ]$ I( D% |5 b
, O9 h; m* c: i; E; R7 X====================================================
, Y/ r$ W* ~1 C G! G
* b2 \4 q4 I' l0 K) O7 m1 o- O7 |新華網(wǎng)長沙１０月８日電（記者黃興華）數(shù)理邏輯在計算機(jī)科學(xué)和人們的生活中占有重要的地位。中南大學(xué)數(shù)學(xué)科學(xué)與計算技術(shù)學(xué)院２００８級本科生劉嘉憶通過潛心研究，成功攻克一個多年未解的國際數(shù)學(xué)難題。( @6 e5 F! K8 l- q. j" S! [
. k; c. B% Q% C; h0 E
數(shù)理邏輯是研究推理的數(shù)學(xué)分支。它使用數(shù)學(xué)的方法，即一套符號體系來研究推理前提和結(jié)論之間的形式關(guān)系，故也稱符號邏輯。在計算機(jī)科學(xué)和人們的生活中，數(shù)理邏輯發(fā)揮著重要的理論指導(dǎo)作用。4 P$ I! f4 }2 C6 D) P
6 A. W" k9 G7 t; \" J/ x V9 H ２０１０年８月，酷愛數(shù)理邏輯的劉嘉憶在自學(xué)反推數(shù)學(xué)的時候第一次接觸到這個問題。他在閱讀大量文獻(xiàn)時發(fā)現(xiàn)，海內(nèi)外不少學(xué)者都在進(jìn)行反推數(shù)學(xué)中的拉姆齊二染色定理的證明論強(qiáng)度的研究。這是由英國數(shù)理邏輯學(xué)家西塔潘于上世紀(jì)９０年代提出的一個猜想。１０多年來，許多著名研究者一直努力都沒有解決。
! U; u2 c6 e: u( k+ B* O0 ?% n9 v6 n# A4 C' R% c1 Y- W- l$ U o& N) D
同年１０月的一天，劉嘉憶突然想到用之前用到的一個方法稍作修改便可以證明這一結(jié)論，連夜將這一證明寫出來，投給了數(shù)理邏輯國際權(quán)威雜志《符號邏輯雜志》。
, ~/ F% }7 D2 x& l g! V# r# Y3 T4 N3 S! Y8 q9 Y
《符號邏輯雜志》主編、邏輯學(xué)專家、芝加哥大學(xué)數(shù)學(xué)系教授鄧尼斯·漢斯杰弗德在論文評審意見中寫道，看到這一問題的最終解決，他感到非常高興。他并向劉嘉憶表示祝賀。5 T0 S$ [( E' V. X3 O) L
2 B. ? j0 V- s" l0 ~ 論文審稿人芝加哥大學(xué)博士達(dá)米爾·扎法洛夫認(rèn)為：“這是一個重要的結(jié)果，該問題的研究促進(jìn)了反推數(shù)學(xué)和計算性理論方面的研究。”
m g( M5 U0 } L" W* N$ S# X: x" Y
中國科學(xué)院李邦河等院士認(rèn)為，劉嘉憶在大三時就已獨立解決了重要的數(shù)學(xué)難題，可見是難得一見的杰出數(shù)學(xué)人才。他們建議有關(guān)部門采取特殊措施，加強(qiáng)對其學(xué)術(shù)方面的培養(yǎng)，并在各方面對其進(jìn)行扶持。+ p/ \3 s9 W& B
. q o5 O# W3 D* W. }' h# o
http://news.xinhuanet.com/tech/2011-10/09/c_122130366.htm |
|
QQ好友和群
QQ空間
