美国中西部数学哲学讨论会

• 作者: 王凯宁
• 来源期刊: 中国哲学年鉴
• 学科: 教育
• 关键词: 山西大学 完备性定理 数学定理 美国中西部 数学实践 数学哲学 逻辑主义 数理逻辑
• 年，卷（期）: 2017,（1）
• 页码范围: 575-575
• 页数: 1页
• 分类号: G63

摘要

2016年11月12—13日在美国圣母大学(Notre Dame University)举办。该会议汇集了美国中西部著名高校和研究机构的50余名专家和学者,主要围绕数学与逻辑的关系(经典逻辑与直觉逻辑的对抗、数学逻辑主义中新逻辑主义的发展及困境)、数学模型的可靠性(数学模型工具意义上的基础性地位、数学模型与物理模型的统一性问题)以及数学的可应用性等主题展开讨论。其中主要观点有:形式化系统的主要公理、定理尤其是完备性定理、第一不完备性定理以及第二不完备性定理等数学定理需要以数理逻辑为基本工具来进行细致的分析与处理;数学模型作为数学与自然科学的基础,可以从数学实践及数学史出发找到依据。山西大学科学技术哲学研究中心刘杰副教授应邀参加了本次会议。