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