试论胡世华先生的数学哲学思想

胡世华先生是我国数学哲学的开拓者之一。他在数学哲学方面的独创性表现在：他对恩格斯关于数学对象和性质的论述，能作比较全面和准确的理解与阐述；当出现忽视数学基本理论倾向时，他强调要重视数学基本理论的研究；他阐释了数理逻辑的科学性质，划清了数理逻辑的科学性质和唯心主义解释的界限；他展望了信息时代数学发展的前景。

数理逻辑在中国

一本世纪初,我国少数学者到西方留学,开始接触到数理逻辑这一新兴学科。1920年,英国哲学家和逻辑学家罗素(B.Russell)来我国上海、杭州、长沙、北京等地游览、讲学。他在北京大学讲了《哲学问题》、《心的分析》、《物的分析》、《社会结构》、《数理逻辑》等问题。罗素在《数理逻辑》的讲演中,简单地介绍了数理逻辑的内容——命题演算和逻辑代数。这一讲演促使我国一些逻辑学者去研究数理逻辑。二十年代初期,俞大维、沈有乾等少数人曾经从不同方面研究过数理逻辑,但他们后来没有继续做这方面的工作,所以,对我国数理逻辑的发展并没有产生什么影响。

我校文先杰等6位同学获1996年度省雷大贞医学教育奖学金

由学校雷大贞医学教育奖学金评选小组推荐,经江西省雷大贞医学教育奖学金评选委员会批准,我校文先杰、胡世华、李海平、黄龑春、肖平生。

乡村美景入画来——江口县抓党建促乡村振兴见闻

江口县深入实施民心党建工程,坚持以基层党建引领脱贫攻坚,以组织振兴推动乡村振兴,按照'组织强村、产业旺村、文化兴村、生态美村'的思路,全面推动实现农业强、农村美、农民富的乡村发展之路。一场春雨过后,记者走进江口县凯德街道明星村,眼前的村庄山清水秀、空气清新。穿行其间,道路宽敞整洁,两侧树木葱郁,路边垃圾桶摆放整齐,来往村民精气神十足,一股和谐发展新风迎面扑来。

本期封面院士简介

胡世华数理逻辑与数学基础学家、计算机科学家。原籍浙江吴兴,生于上海。1935年毕业于北京大学。中国科学院计算技术研究所研究员。他建立了拓扑空间"非完整点"的概念和理论,还建立了将较少值具有函数完全性的逻辑嵌入较多值逻辑中去的系统方法。20世纪60年代初在国际上首先建立了有穷基自由半群上的递归函数和递归算法理论。20世纪70年代对算法语言的描述问题作了深入研究。20世纪80年代在递归算法的基础上研究了可计算函数在证明论中的应用。1980年当选为中国科学院院士(学部委员)。

简讯

1987年7月14日,在金岳霖诞生九十二周年的日子里,金岳霖学术基金会在京成立。胡乔木任学术基金会理事会名誉顾问。楚图南、钱昌照、周培源、胡绳、于光远、费正情(美)等二十六人任理事会顾问。邢贲思任会长。沈有鼎、王宪钧、洪谦、胡世华、冯契、江天骥、王浩(美)等二十六位著名专家任学术委员会顾问。晏成书、杨东屏、何兆武、涂纪亮、王雨田、张尚水等四十二位专家、学者组成学术委员会,周礼全任主任委员。

哲学系邀请校外专家座谈关于《形式逻辑》教科书的意见

我校哲学系为了广泛征求各方面对该系逻辑教研室于1960年集体编写的《形式逻辑》教科书的意见,于最近邀请了在京的逻辑工作者举行座谈会。出席这次座谈会的有孙定国、金岳霖、汪奠基、马特、胡世华、江天骥、周礼全、方华、黄顺基等同志。会议由哲学系主任郑昕教授主持。在整整一天的座谈中,大家就怎样编好形式逻辑教科书的问题交换了意见,许多人肯定了这本书的优点,同时提出了一些不同的看法。

关于“论真实性与正确性底统一”一文的讨论

“哲学研究”编辑部于1959年3月17日邀请一部分逻辑工作者,讨论“哲学研究”1959年第3期发表的金岳霖“论真实性与正确性底统一”一文,出席座谈会的有朱波、马特、李世繁、王宪钧、汪奠基,胡世华、方华、赵明、王聘贤、金岳霖、潘梓年等同志。

北京逻辑学工作者座谈逻辑问题

中国科学院哲学研究所为了开展科学研究工作和推动教学工作,打算有计划地组织一些学术讨论会、报告会等,这些经常性的学术活动,一般的是由各学术组进行的。逻辑组计划于今年每月召开北京地区的逻辑工作者座谈会一次。在今年一月二十八日曾就胡世华同志的“数理逻辑的基本特征与科学意义”一文为中心进行了座谈。这次座谈会中争论的主要内容,大致可归纳为以下几方面的问题: