关于塔斯基的T型等值式

本文阐述了波兰逻辑学家塔斯基,关于形式语言中真句子的意义的重要组成部分T型等值式及其深远的意思。     

创新的现代数学家——冯·诺依曼

冯·诺依曼是本世纪出现的一位多才多艺的数学家,他生于1903年,卒于1957年,从小智力过人,一生勤治学,终成大器。他的选集收集的一百五十多篇论文,遍及集合论、逻辑、拓扑群、测度论、遍历论、算子论和量子物理、气象、军事、计算机、博奕论等诸领域。特别是在博奕论和计算机理论方面的工作,被后人公认为是开创性的、奠基性的。著名数学家S·乌拉姆在纪念冯·诺依曼逝世一周年时曾说过:“如果按年代先后去探讨冯·诺依曼个人的志向和学术上的成就,那就等于是     

谈谈哥德尔不完全性定理

哥德尔不完全性定理是数学发展史上一座划时代的里程碑,也是数理逻辑、人工智能的基石。但作为数学理论大厦的高深组成部分,哥德尔的工作很少为非专业工作者所了解。     

西方逻辑史简介(上)

西方逻辑史研究,对形式逻辑实现现代化,对加强西方哲学史研究,对开展科学方法论的研究都有重要意义。西方逻辑史一般被划分成古代、中世纪、现代三个历史时期。本文拟对这三个时期中的七个重要逻辑学家和逻辑学派:亚里士多德、斯多葛、中世纪、莱布尼茨、布尔、弗雷格、罗素等在逻辑学方面所作的贡献作一概要介绍。     

数理语言学

世界是一座通天塔①,三十亿人讲着数百种语言,这些语言对这些人中的大多数来说都是听不懂的。然而一切语言有着某些基本的共同结构性质,正象原子内部的电子都有轨道,人都有两只眼睛和两只耳朵一样。数理语言学是一门正在美国和苏联兴起的新的学科,它试图分析这些基本的结构性质。它有希望被直接应用于语义学和计算机程序。最终它可能导致使用计算机作科学文献的信息处理和作语言翻译。     

数学是客观的科学

本文提出了客观性原理,并以此为指针简练地介绍和评述了现代数学哲学中的几个主要流派:表面主义、形式主义、直觉主义、逻辑主义和柏拉图主义.     

现代逻辑的几个重要成果以及所涉及的哲学问题（中）

本世纪初，欧洲大陆有一座普通的别墅，热灰色的墙面隐没在郁郁葱葱的绿荫中，显得宁静而又庄重。布置不算精美的客厅中，放着一张古老和宽大的沙发，上面坐着一位头发灰白的绅士。在他面前的书桌上，整齐地叠放着一大堆书稿。他手中拿着一张信笺，深邃的目光已经离开了信纸，脸色显得疲劳而有点暗淡，眼眉阅显露出焦虑的神态。