胡世华生平概况
胡世华,原名胡子华,浙江吴兴人,1912年1月28日出生于上海,长期居住在北京,其父胡惟德曾担任过北洋政府的国务总理和驻外公使,期望儿子继承政治道路,但胡世华对此并无兴趣,反而促使他思想上与父亲产生分歧。
1929年至1932年,胡世华就读于天津南开大学预科和本科数学专业,表现出浓厚的兴趣。然而,在父亲的反对下,他转至北京大学,最终选择了哲学系。1935年,他从北大毕业,开始了在该校的数学研究生涯。
在北京大学,胡世华结识了李尔重和杜毓澐等进步思想的同学,他们对他的思想产生了影响。朋友们建议他继续通过学术道路寻求进步,于是他选择了这条路,其中包括在1936年至1940年间赴欧洲的学术旅程,期间在维也纳大学、西威廉敏思特大学等校专攻数理逻辑和数学基础,最终以《伪布尔代数及拓扑基础》论文获得博士学位。
回国后,胡世华在中山大学、中央大学和北京大学任教,担任过数学天文系副教授、数理逻辑教授等职。1950年起,他调至中国科学院数学研究所,担任研究员和数理逻辑研究室主任,直至1985年。期间,他还担任过中国科学技术大学、中国科学院计算技术研究所和软件研究所的研究员,以及多个学会的理事或委员,并参与编写多部学术著作和百科全书。
胡世华于1956年开始参与全国科学规划的制订工作,1980年成为中国科学院院士,负责计算机科学组。他积极参加中国民主同盟和中国共产党,展现了其多方面的贡献。
扩展资料
胡世华,数理逻辑学家。是中国开展数理逻辑研究的代表人物之一,倡导将逻辑研究与数学紧密联系起来。他也是国内将逻辑研究与计算机设计相结合的倡导人。
绛旓細鑳′笘鍗庯紝鍘熷悕鑳″瓙鍗庯紝娴欐睙鍚村叴浜猴紝1912骞1鏈28鏃ュ嚭鐢熶簬涓婃捣锛岄暱鏈熷眳浣忓湪鍖椾含锛屽叾鐖惰儭鎯熷痉鏇炬媴浠昏繃鍖楁磱鏀垮簻鐨勫浗鍔℃荤悊鍜岄┗澶栧叕浣匡紝鏈熸湜鍎垮瓙缁ф壙鏀挎不閬撹矾锛屼絾鑳′笘鍗庡姝ゅ苟鏃犲叴瓒o紝鍙嶈屼績浣夸粬鎬濇兂涓婁笌鐖朵翰浜х敓鍒嗘銆1929骞磋嚦1932骞达紝鑳′笘鍗庡氨璇讳簬澶╂触鍗楀紑澶у棰勭鍜屾湰绉戞暟瀛︿笓涓氾紝琛ㄧ幇鍑烘祿鍘氱殑鍏磋叮銆傜劧鑰岋紝鍦ㄧ埗浜...
绛旓細鑳′笘鍗庯紝1912骞1鏈28鏃ワ紙涓崕姘戝浗鍏冨勾锛夌敓浜庝笂娴峰競锛屼箙灞呭寳浜銆傝儭涓栧崕鐨勭埗浜茶儭鎯熷痉鏇句换鍖楁磱鏀垮簻鍥藉姟鎬荤悊鍜岄┗澶栧浗鍏娇銆 1929骞达紙涓崕姘戝浗涓鍗佸叓骞达級-1932骞达紙涓崕姘戝浗浜屽崄涓骞达級锛岃儭涓栧崕杩涘叆澶╂触鍗楀紑澶у锛岃棰勭涓ゅ勾锛屾湰绉戜竴骞达紝琛ㄧ幇鍑哄鏁板鐨勫叴瓒c1932骞达紙涓崕姘戝浗浜屽崄涓骞达級锛岃浆瀛﹁嚦鍖椾含澶у锛屾湰鏉ユ墦...
绛旓細閽卞妫敓鍓嶆槸鍏ㄥ浗鏀垮崗鍓富甯佷腑鍥界瀛﹂櫌鏁扮悊鍖栧閮ㄥ鍛樸佷腑鍥藉畤鑸浼氬悕瑾夌悊浜嬮暱銆佷腑鍥界鎶鍗忎細涓诲腑銆 涓銆佺敓骞崇畝浠 閽卞妫(1911锝瀀)涓浗绉戝瀹,鐏涓撳,1911骞12鏈1鏃ョ敓浜庝笂娴,3宀佹椂闅忕埗鏉ュ埌鍖椾含,1934骞存瘯涓氫簬涓婃捣浜ら氬ぇ瀛︽満姊板伐绋嬬郴,1935骞磋荡缇庡浗鐮旂┒鑸┖宸ョ▼鍜岀┖姘斿姩鍔涘,1938骞磋幏鍔犲埄绂忓凹浜氱悊宸ュ闄㈠崥澹浣嶃...