“胡世華先生對我國數理邏輯、計算機科學、科學哲學和數學史等學科做出了獨特貢獻，先生執著科學、獻身科學的精神，溫厚、執著、寬容的珍貴品德是軟件所和中國數理邏輯、計算機科學領域永遠的精神財富。”在4月23日舉辦的“胡世華先生誕辰100周年紀念會暨2012邏輯、計算與信息研討會”上，中國科學院軟件研究所所長李明樹這樣表示。

胡世華是少數幾位在中國發展數理邏輯的代表人物之一。他力主把邏輯研究超出哲學的范疇和數學聯系起來，同時大力提倡應用數理邏輯研究計算機科學，表現出深刻的科學思想和卓越的學術遠見。

“對學者、特別是作基礎研究的學者而言，最了不起的成就莫過于他敏銳與超前的預見性。”軟件所首任所長許孔時這樣評價胡世華先生，“上個世紀50年代，胡先生就預見到每秒運算百萬次、甚至千萬次的計算機一定能被制造出來，這種觀點在當時那個年代是十分超前的，所里許多同志甚至調侃他說：‘老胡啊，你這不是胡說嗎？’，而歷史的發展驗證了胡先生了不起的預見。”

作為文革后第一屆研究生，廣西師范大學王駒教授在談及胡世華先生時感慨而言：“我師從胡先生，在數理邏輯領域，胡先生是我的恩師。沒有胡先生我進不了數理邏輯這個研究領域，而如今，這項研究已經成為了我的生命。”

今年恰逢“計算機之父”圖靈誕辰100周年，軟件所舉辦了系列活動。董韞美、周巢塵、張景中、陸汝鈐、林惠民五位院士和國內哲學、數理邏輯、計算機科學等方面的著名學者參加了本次研討會。

“激勵后輩學習胡先生的科學思想，秉持繼承與發展并重，立足于當代科學問題，開創我國數學與計算機科學交叉領域的未來，這是我們追憶和緬懷胡世華先生的意義所在。”軟件所黨委書記李玉成表示。