欧美激情伦妇在线观看,伊人国产在线视频,亚洲欧美日本一区,国产高清在线精品一区二区

  1. 當前位置： 首頁(yè) > 院士信息 > 已故院士名單

胡世華

數理邏輯學(xué)家、計算機科學(xué)家 1912年1月28日生于上海，籍貫浙江吳興。1935年畢業(yè)于北京大學(xué)。1936～1941年先后在奧地利維也納大學(xué)、德國西威廉敏思特大學(xué)等處學(xué)習和研究數理邏輯與數學(xué)基礎。1980年當選為中國科學(xué)院學(xué)部委員(院士)。1998年4月11日逝世。 曾任北京計算機學(xué)院院長(cháng)、名譽(yù)院長(cháng)，中國科學(xué)院數學(xué)研究所、計算技術(shù)研究所、軟件研究所研究員。20世紀30年代建立了拓撲空間“非完整點(diǎn)”的概念和理論。40～50年代建立了將較少值具有函數完全性的邏輯嵌入較多值邏輯中的系統方法。60年代初在國際上首先建立了字(有窮基自由半群)上的遞歸函數和遞歸算法理論。70年代對算法語(yǔ)言的描述問(wèn)題作了深入研究。80～90年代在遞歸算法的基礎上研究了可計算函數在證明論中的應用。