| 央視網|中國網絡電視臺|網站地圖 |
| 客服設為首頁 |
新華網北京４月２３日電（記者羅沙）中國科學院軟體研究所２３日舉行紀念活動，紀念我國開展數理邏輯研究的代表人物、數理邏輯學家胡世華誕辰１００週年。
據介紹，胡世華是少數幾位在中國發展數理邏輯的代表人物之一，他力主把邏輯研究超出哲學的範疇和數學聯絡起來，同時大力提倡應用數理邏輯研究計算機科學，表現出深刻的科學思想和卓越的學術遠見。
今年恰逢“計算機之父”圖靈誕辰１００週年，中科院軟體所還舉辦了系列活動以及研討會進行紀念。
“胡世華先生對我國數理邏輯、計算機科學、科學哲學和數學史等學科做出了獨特貢獻，先生執著科學、獻身科學的精神，溫厚、執著、寬容的珍貴品德是軟體所和中國數理邏輯、計算機科學領域永遠的精神財富。”中科院軟體所所長李明樹説。
“對學者、特別是作基礎研究的學者而言，最了不起的成就莫過於他敏銳與超前的預見性。”軟體所首任所長許孔時這樣評價胡世華先生，“上個世紀５０年代，胡先生就預見到每秒運算百萬次、甚至千萬次的計算機一定能被製造出來，這種觀點在當時那個年代是十分超前的，歷史的發展驗證了胡先生了不起的預見。”
“激勵後輩學習胡先生的科學思想，秉持繼承與發展並重，立足於當代科學問題，開創我國數學與計算機科學交叉領域的未來，這是我們追憶和緬懷胡世華先生的意義所在。”中科院軟體所黨委書記李玉成表示。
中國中央電視臺 中國網絡電視臺 版權所有
違法和不良信息舉報電話:010-88047123 京ICP證060535號 京網文【2014】0383-083號
網上傳播視聽節目許可證號 0102004 新出網證（京）字098號 中國互聯網視聽節目服務自律公約
意見反饋
頂
踩
收藏
MSN或QQ好友
貼到博客或論壇
轉發郵件
