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