久久综合久久综合亚洲_已故院士名單----中國科學(xué)院學(xué)部與院士

院士信息

王湘浩

代數學(xué)、計算機科學(xué)家 1915年5月5日生于河北安平。1937年畢業(yè)于北京大學(xué)。1949年獲美國普林斯頓大學(xué)哲學(xué)博士學(xué)位。1955年被選聘為中國科學(xué)院學(xué)部委員(院士)。1993年5月4日逝世。曾任北京大學(xué)教授，吉林大學(xué)教授。1952年開(kāi)創(chuàng )吉林大學(xué)數學(xué)系，任首屆系主任。1976年開(kāi)創(chuàng )吉林大學(xué)計算機科學(xué)系，任首屆系主任。主要從事代數數論和賦值論、人工智能學(xué)等方面的研究并取得多項重要成果。1948年留美博士論文中，糾正了Grunwald定理的錯誤，對該定理作了推廣并給出該定理成立的充要條件，重新證明了Dickson猜想。與此同時(shí)，證明代數數域上單純代數換位子群與其幺模子群相等。20世紀50年代在數學(xué)系工作中，大力促進(jìn)應用數學(xué)領(lǐng)域的發(fā)展，以適應國家的人才需求。60年代初，提出利用“保n項關(guān)系”的方法解決了多值邏輯中函數集的完備性問(wèn)題。在定理機器證明和計算機代數方面，推廣了歸結原理，并推廣改進(jìn)了Vincent定理。