基本建設支出效果

[拼音]：Hu Shihua

中國現代邏輯學家、數學家。字子華。出生於上海市。1935年畢業於北京大學數學系。1936年起在奧地利維也納大學、德國敏士特大學研究數理邏輯和數學基礎。1941年回國後歷任中山大學數學天文系副教授、重慶中央大學哲學系教授、北京大學哲學系教授、中國科學院數學研究所研究員、中國科學院計算技術研究所研究員、中國科學院軟體研究所研究員、北京計算機學院院長和名譽院長，1981年起任中國科學院數學物理學部學部委員，中國邏輯學會理事、顧問，中國數學學會理事，中國計算數學學會委員。1954年參加中國共產黨。

胡世華的科學成就主要有：

（1）建立了拓撲空間中“非完整的點”的概念和理論（博士論文）；

（2）建立了把較少值具有函式完全性的邏輯演算嵌入較多值邏輯演算中去的系統方法；

（3）建立了遞迴演算法論，即關於有窮生成子自由半群上的遞迴函式的概念和理論；

（4）提出了一種程式(演算法)語言的描述方法，建立了“原形文法”概念和理論。他在數學基礎和數學哲學問題方面發表了一些具有獨創性的論文。他寫的專著有《數理邏輯基礎》（與陸鍾萬合作，上下冊，1981～1982）。