胡世华，数理逻辑学家、计算机科学家 1912年1月28日生于上海，籍贯浙江吴兴。1935年毕业于北京大学。1936～1941年先后在奥地利维也纳大学、德国西威廉敏思特大学等处学习和研究数理逻辑与数学基础。1980年当选为中国科学院学部委员(院士)。1998年4月11日逝世。 曾任北京计算机学院院长、名誉院长，中国科学院数学研究所、计算技术研究所、软件研究所研究员。20世纪30年代建立了拓扑空间“非完整点”的概念和理论。40～50年代建立了将较少值具有函数完全性的逻辑嵌入较多值逻辑中的系统方法。60年代初在国际上首先建立了字(有穷基自由半群)上的递归函数和递归算法理论。70年代对算法语言的描述问题作了深入研究。80～90年代在递归算法的基础上研究了可计算函数在证明论中的应用。
藏在广东的祖庙，东方民间艺术行宫，凭借岭南文化精粹实力出圈
沙漠跑酷 大神们的假日狂欢
广西靖西市：油菜花海 璀璨夺目（组图）
瞰见｜华山春雪
桂林七星区：以“形、实、魂”提升乡村风貌 打造环境一流田园综合体
小情侣冒险拍摄金三角最大的赌场，看看土豪们在这里玩什么
修缮乐山大佛时发现胸口和耳后暗室，曾被人封住，它藏着秘密吗？
乐山大佛颜值进化之路：摘掉美瞳和假发，从流浪汉变白净佛祖
赏花踏青正当时！创业公园“广州樱”惊艳盛放，粉红盛宴浪漫开秀
古韵垫桥：非遗车子灯、村级绍剧团、书画名家魅力齐绽
岁月如歌58载，冰雪文化跃然屏上！上万视角呈现冰雪之美
#陕西旅游地推荐#【太美啦！陕西汉中：秦岭雪山下的油菜花海】
虎牙总部一日游，我竟然没看到一个女主播
世外桃源地：兴义，唯有此处成峰林
山云宫-嶽渎真官，土地祇灵
思窝Rachel：布里斯班惠灵顿，漫步在延绵的海岸线欣赏夕阳
女神节将至，给自己最好的礼物，就是来一趟旅行
【优秀企业推荐】肇庆市旅行社公司优秀企业推荐公示
