新華網北京４月２３日電（記者羅沙）中國科學院軟體研究所２３日舉行紀念活動，紀念我國開展數理邏輯研究的代表人物、數理邏輯學家胡世華誕辰１００周年。
據介紹，胡世華是少數幾位在中國發展數理邏輯的代表人物之一，他力主把邏輯研究超出哲學的範疇和數學聯繫起來，同時大力提倡應用數理邏輯研究計算機科學，表現出深刻的科學思想和卓越的學術遠見。
今年恰逢「計算機之父」圖靈誕辰１００周年，中科院軟體所還舉辦了系列活動以及研討會進行紀念。
「胡世華先生對我國數理邏輯、計算機科學、科學哲學和數學史等學科做出了獨特貢獻，先生執著科學、獻身科學的精神，溫厚、執著、寬容的珍貴品德是軟體所和中國數理邏輯、計算機科學領域永遠的精神財富。」中科院軟體所所長李明樹說。
「對學者、特別是作基礎研究的學者而言，最了不起的成就莫過於他敏銳與超前的預見性。」軟體所首任所長許孔時這樣評價胡世華先生，「上個世紀５０年代，胡先生就預見到每秒運算百萬次、甚至千萬次的計算機一定能被製造出來，這種觀點在當時那個年代是十分超前的，歷史的發展驗證了胡先生了不起的預見。」
「激勵後輩學習胡先生的科學思想，秉持繼承與發展並重，立足於當代科學問題，開創我國數學與計算機科學交叉領域的未來，這是我們追憶和緬懷胡世華先生的意義所在。」中科院軟體所黨委書記李玉成表示。