全部评论
◎欢迎参与讨论，请在这里发表您的看法、交流您的观点。
胡世华（1912.01.28-1998.04.11），又名胡子华，祖籍浙江吴兴，出生于上海，数理逻辑学家、计算机科学家，中国科学院院士。1935年毕业于北京大学。1936－1941年先后在奥地利维也纳大学、德国西威廉敏思特大学等处学习和研究数理逻辑与数学基础。他是中国开展数理逻辑研究的代表人物之一，倡导将逻辑研究与数学紧密联系起来。他也是国内将逻辑研究与计算机设计相结合的倡导人。
中文名：胡世华
国籍：中国
民族：汉族
出生地：浙江吴兴
出生日期：1912年1月28日
逝世日期：1998年4月11日
毕业院校：天津南开大学
主要成就：20世纪30年代建立了拓扑空间“非完整点”的概念和理论。
代表作品：《一种递归式的原始递归性》
胡世华，1912年1月28日（***元年）生于上海市，久居北京。胡世华的父亲胡惟德曾任北洋政府国务总理和驻外国公使。
1929年（***一十八年）-1932年（***二十一年），胡世华进入天津南开大学，读预科两年，本科一年，表现出对数学的兴趣。
1932年（***二十一年），转学至北京大学，本来打算攻读数学系，由于父亲干预，改为入哲学系学习。
1935年（***二十四年）毕业于北京大学，随后在该校研究数学。在北京大学学习期间，胡世华与李尔重、杜毓澐等有进步思想的同学结识，后两位很早就参加了***。在他们的影响下，胡世华表示了要求进步的意向。但他们建议他根据自己的具体情况继续读书求学，于是使他走上从事学术研究的道路。
1936年（***二十五年），胡世华偕同夏好仁赴欧洲。他先后在奥地利维也纳大学、德国西威廉敏思特大学，以及在法国和瑞士学习和研究数理逻辑和数学基础，其中主要的是在西威廉敏思特大
胡世华，20世纪30年代建立了拓扑空间“非完整点”的概念和理论。20世纪40年代至20世纪50年代建立了将较少值具有函数完全性的逻辑嵌入较多值逻辑中的系统方法。20世纪60年代初在国际上首先建立了字(有穷基自由半群)上的递归函数和递归算法理论。20世纪70年代对算法语言的描述问题作了深入研究。20世纪80年代至20世纪90年代在递归算法的基础上研究了可计算函数在证明论中的应用。
数理逻辑方面的学术成就
胡世华是中国国内少数几位在中国发展数理逻辑的代表人物之一。而在中国把逻辑研究超出哲学的范畴并和数学联系起来的工作是由胡世华开始的，他是这方面的开创人，也是国内把逻辑和计算机结合起来进行工作的倡导人。此外他还很关心数学的哲学问题，并在这方面做过在国内有一定影响的工作。
胡世华于20世纪30年代末在H.肖尔兹（Scholz）和K.柯特（Kothe）两教授指导下完成博士学位论文《伪布尔代数及拓扑基础》，其
胡世华与陆钟万合作编写的《数理逻辑基础》（上、下册），获得国家教委高等学校优秀教材二等奖。
1941年-1943年，任广东中山大学数学天文系副教授。
1943年-1946年，任重庆中央大学哲学系数理逻辑、数学基础教授。
1946年-1962年，任北京大学哲学系数理逻辑、数学基础教授。
1950年-1962年，任北京大学哲学系教授，中国科学院数学研究所研究员、数理逻辑研究室主任。
1958年-1963年，兼任中国科学技术大学应用数学系工程逻辑教研室主任。
1963年-1985年，任中国科学院计算技术研究所研究员、第九研究室主任。
1979年-1998年，兼任北京计算机学院院长、名誉院长。
1985年-1998年，任中国科学院软件研究所研究员。
此外，胡世华参加了中国数学会、中国计算机学会、中国电子学会、中国逻辑学会和中国自然辩证法研究会，任理事或委员；曾任《中国科学》、《科学通报》、《数学学报》和《理论计算机科学》（欧洲理论计算机科学协会EATCS的机关刊物）的编委以及《中国大百科全书》数学卷和哲学
胡世华对中国数理逻辑、计算机科学、科学哲学和数学史等学科做出了独特贡献，胡世华执著科学、献身科学的精神，温厚、执著、宽容的珍贵品德是软件所和中国数理逻辑、计算机科学领域永远的精神财富。（中科院软件所所长李明树评）
对学者、特别是作基础研究的学者而言，最了不起的成就莫过于胡世华敏锐与超前的预见性。20世纪50年代，胡世华就预见到每秒运算百万次、甚至千万次的计算机一定能被制造出来，这种观点在当时那个年代是十分超前的，历史的发展验证了胡先生了不起的预见。（中科院软件所首任所长许孔时评）
胡世华从事数理逻辑研究，注重理论创新，大力提倡应用数理逻辑研究计算机科学，表现出他深刻的科学思想和卓越的学术远见。（中科院软件所评）
2012年04月23日，中国科学院软件研究所举行胡世华先生诞辰100周年纪念活动。董韫美、周巢尘、张景中、陆汝钤、林惠民五位院士和国内哲学、数理逻辑、计算机科学等方面的著名学者参加了本次研讨会。软件所党委***李玉成表示：“激励后辈学习胡世华的科学思想，秉持继承与发展并重，立足于当代科学问题，开创中国数学与计算机科学交叉领域的未来，这是追忆和缅怀胡世华先生的意义所在。”
更新于：4个月前版权声明：本文为分布于 “九酷名人网” 如补充修改请点击编辑按钮，通过审核后会陆续更新。
◎欢迎参与讨论，请在这里发表您的看法、交流您的观点。
米友仁是北宋书画家米芾的长子，深得宋高宗的赏识，他承继并发展米芾的山水技法，奠定“米氏云山”的特殊表现方式，就是以表现雨后山水的烟雨蒙蒙、变幻空灵而见称。其父子二人有大、小米之称。早年以书画知名，北宋宣和四年(1122)应选入掌书学，南渡后备受高宗优遇，官至兵部侍郎、敷文阁直学士，高宗赵构曾命他鉴定法书。但对鉴别书画“往往有一时附会迎合上意者”。工书法，虽不逮其父，然如王、谢家子弟，却自有一种风格。 目录基本资料父亲米芾人物评价历史故事诗词作品基本资料中文名：米友仁别名：尹仁国籍：中国出生日期：1074年逝世日期：1153年父亲米芾提到米友仁，一定要先提一下他的父亲米芾才行。米友仁的山水画脱尽古人窠臼，发展了米芾技法，自成一家法。所作用水墨横点，连点成片，虽草草而成却不失天真，每画自题其画曰“墨戏”。其运用“落茄皴”（即“米点皴”）加渲染之表现方法抒写山川自然之情，世称“米家山水”，对后来“文人画”影响较大。其做官后甚自秘重，所画虽亲朋好友亦无缘得之，众嘲曰：“解作无根树，能描濛鸿云；如今供御也，不肯与闲人。”米友仁的画是心灵对自然的直接反映，生气远出，仪态万千。他不是局限于自然物象的一时一地，或者一草一木，而是将大自然全幅生动的山川草木都收于纸面之上，云烟晦明，才足以表征我们心胸中蓬勃无尽的灵感与气韵。米友仁曾经谈到自己的创作方式：“画之老境，于世海中一毛发事泊然无着染，每静室僧趺，忘怀万虑，与碧虚寥廓同其流！”米芾（1051-1107），字元章，号鹿门居士，又称海岳外史、襄阳漫士等。山西太原人，后迁居湖北襄阳。他因人物评价米友仁（1086-1165），字元晖，是米芾的长子。父子二人有大、小米之称。他也是一位早慧的天才，在19岁的时候，他父亲将他所作《楚山清晓图》献给宋徽宗，得到了宋徽宗的赏赐。在南宋时，他官至工部侍郎、敷文阁直学士，甚得宋高宗的宠爱，往往让他鉴定书画。现在，在很多古书画上面可以看见他的跋尾。谈米友仁的书法，也不能不提米芾的书法。米芾的书法先是学习唐人，当他发觉越学越失去魅力的时候，他就开始上溯唐人的书法。直到发现唐人的书法不如晋人那样天真自然之后，他就开始直接以晋人书法为楷模了。但是在大体上，他是以二王为宗的──尤其逼肖于王献之──现在我们可看到的很多王献之的作品，很可能是出自于米芾之手。他的书法成就极高，与蔡襄、苏轼、黄庭坚并称为“宋四家”。不过，在此四家之中，人们却更喜爱他的书法，因为他更像一位纯粹的书法家。他的笔墨技巧是无人能敌的，至今仍然如此。这样，在书法方面，米友仁几乎是亦步亦趋地学历史故事米友仁（字元晖），家学渊源，也和他父亲一样，既写得一手好字，又长于作画，尤其喜爱古人的作品。有一次，他在别人的船上看见王羲之真笔字帖，欢喜得什么似的，立即要拿一幅好画交换。主人不同意，他急得大叫，攀着船舷就往水里跳，幸亏别人很快把他抱住，才不致落水。他有一样很大的本领，便是能模仿古人的画品。他在涟水的时候，曾经向人借回一幅“松牛图”描摹。后来他把真本留下，将摹本还给别人，这人当时没有觉察出来，直至过了好些日才来讨还原本。米友仁问他怎么看得出来，那人回答说：“真本中的眼睛里面有牧童的影子，而你还我的这一幅却没有。”可是米友仁模仿古人的画品，很少被人发觉。他经常千方百计向人借古画描摹，而摹完以后，总是拿样本和真本一齐送给主人，请主人自己选择。由于他模仿古画的技艺很精，主人往往把模本当成真本收回去，米友仁便因此获得了许多名贵的真本古画。米友仁是一个有才能的艺术家，值得人们敬仰，可是他用那种模仿假本诗词作品临江仙昨夜扁舟沙外舣，淮山微雨初晴。断云飞过月还明。一天风露重，人在玉壶清。水际不知何许是，遥林□辨微青。醉迷归梦强□凌。谁言东去雁，解寄此时情。小重山醉倚朱阑一解衣。碧云迷望眼，断虹低。近来休说带宽围。人千里，还是燕双飞。深院日初迟。绮窗帘幕静，恨生眉。不堪虚度是花时。鸿来速，争解寄相思。渔家傲从古荆溪名胜地。溪光万顷琉璃翠。极望荷花三十里。香喷鼻。我舟日在花间舣。向晚余霞收散绮。遥山抹黛天如水。满引一尊明月里。微风起。萧然真在华胥氏。临江仙一曲阳关肠断处，临风惨对离尊。红妆揭调十分斟。古来多聚散，正似岭头云。昨夜晴霄千里月，向人无限多情。娟娟今夜满虚庭。一帆随浪去，却照画船轻。渔家傲（和晏元献韵）郊外春和宜散步。百花枝上初凝露。福地神仙多外府。藏奇趣。幽寻历遍溪边路。薄宦浮家无定处。萍飘梗泛前人语。与子未须乡国去。来同住。且看群岫烟中雨。临江仙宝晋轩窗临望处，山围水绕林萦。不堪回首到江城
电子邮件
1090500357@qq.com
扫码二维码
获取最新动态