新華社北京４月２３日電（記者羅沙）中國(guó)科學(xué)院軟件研究所２３日舉行紀(jì)念活動(dòng)，紀(jì)念我國(guó)開展數(shù)理邏輯研究的代表人物、數(shù)理邏輯學(xué)家胡世華誕辰１００周年。
據(jù)介紹，胡世華是少數(shù)幾位在中國(guó)發(fā)展數(shù)理邏輯的代表人物之一，他力主把邏輯研究超出哲學(xué)的范疇和數(shù)學(xué)聯(lián)系起來(lái)，同時(shí)大力提倡應(yīng)用數(shù)理邏輯研究計(jì)算機(jī)科學(xué)，表現(xiàn)出深刻的科學(xué)思想和卓越的學(xué)術(shù)遠(yuǎn)見。
今年恰逢“計(jì)算機(jī)之父”圖靈誕辰１００周年，中科院軟件所還舉辦了系列活動(dòng)以及研討會(huì)進(jìn)行紀(jì)念。
“胡世華先生對(duì)我國(guó)數(shù)理邏輯、計(jì)算機(jī)科學(xué)、科學(xué)哲學(xué)和數(shù)學(xué)史等學(xué)科做出了獨(dú)特貢獻(xiàn)，先生執(zhí)著科學(xué)、獻(xiàn)身科學(xué)的精神，溫厚、執(zhí)著、寬容的珍貴品德是軟件所和中國(guó)數(shù)理邏輯、計(jì)算機(jī)科學(xué)領(lǐng)域永遠(yuǎn)的精神財(cái)富?！敝锌圃很浖L(zhǎng)李明樹說(shuō)。
“對(duì)學(xué)者、特別是作基礎(chǔ)研究的學(xué)者而言，最了不起的成就莫過(guò)于他敏銳與超前的預(yù)見性?！避浖兹嗡L(zhǎng)許孔時(shí)這樣評(píng)價(jià)胡世華先生，“上個(gè)世紀(jì)５０年代，胡先生就預(yù)見到每秒運(yùn)算百萬(wàn)次、甚至千萬(wàn)次的計(jì)算機(jī)一定能被制造出來(lái)，這種觀點(diǎn)在當(dāng)時(shí)那個(gè)年代是十分超前的，歷史的發(fā)展驗(yàn)證了胡先生了不起的預(yù)見?！?/p>
“激勵(lì)后輩學(xué)習(xí)胡先生的科學(xué)思想，秉持繼承與發(fā)展并重，立足于當(dāng)代科學(xué)問(wèn)題，開創(chuàng)我國(guó)數(shù)學(xué)與計(jì)算機(jī)科學(xué)交叉領(lǐng)域的未來(lái)，這是我們追憶和緬懷胡世華先生的意義所在。”中科院軟件所黨委書記李玉成表示。
