《从数学到哲学》:近代著名数理逻辑学家王浩哲学代表作,一场从...
首都师范大学政法学院哲学系教授叶峰认为,王浩无疑是在国际哲学与逻辑学界最知名、最有成就的华裔学者,“他在数理逻辑、数学基础的技术领域有许多开创性的贡献,同时他也在哲学方面对分析哲学提出了深刻的批评。他的这部著作,一边深入浅出地介绍数理逻辑与数学基础的基本概念与成果,一边借此阐述他自己的哲学思想。因...
有些数学命题是无法用数学方法证明的
即使在数学领域,哥德尔也和他的成果一样,总是被视作与主流有些格格不入。他数十年如一日地为数理逻辑提供核心思想,这位“自亚里士多德以来最伟大的逻辑学家”[约翰·冯·诺伊曼(JohnvonNeumann)这样称呼他]甚至在变得越来越孤立的时候,还在专注于用逻辑将神学形式化,他开始相信莱布尼茨在17世纪的发现被压制了。...
考研离散数学的难度大吗
**数理逻辑**是离散数学中的重要内容,它要求我们从公理出发,严密推导,每一步都有严谨的逻辑基础。不会默认你会这会那,不会用以前没讲过的东西作为推理的前提,整个体系都是由几条公理推出来的。离散数学涵盖了传统的逻辑学、集合论、数论基础、算法设计、组合分析、离散概率、关系理论、图论与树、抽象代数等内容...
数学悖论系列之六(选择公理的悖论)
第一个定理可以大致表述如下:任意一个包含一阶谓词逻辑与初等数论的形式系统,都存在一个命题,它在这个系统中既不能被证明为真,也不能被证明为假。第二定理:如果系统S含有初等数论,当S无矛盾时,它的无矛盾性不可能在S内证明。哥德尔定理是数理逻辑、人工智能、集合论的基石,是数学史上的一个里程碑。美国著名数...
考研离散数学自学教材推荐
这本教材是由清华大学计算机科学与技术系的教授刘宏编写的。它是国内较为权威的离散数学教材之一,适合国内学生使用。这本教材内容全面,讲解详细,注重理论与实践的结合。它涵盖了离散数学的各个方面,如集合论、图论、关系和函数、逻辑和证明等。同时,它还提供了大量的习题和例题,帮助学生加深对知识的理解。
访谈| 逻辑问题——与叶峰老师的逻辑十四问
叶峰教授:其实在我个人的研究中,逻辑更多地是作为研究的工具而不是研究的对象,我个人感兴趣的研究课题包括数学哲学以及与物理主义有关的心智哲学、知识论、语言哲学、形而上学和伦理学问题(www.e993.com)2024年10月21日。数理逻辑作为工具对数学哲学研究当然是不可缺的。但是的确,即使对那些不属于逻辑或数学哲学的问题,我个人也比较倾向于采取一种...
王浩诞辰百年:可能是中国最伟大的逻辑学家,他的学术生涯与爱国情怀
1983年,国际人工智能联合会与美国数学会共同将首届“里程碑奖”授予他。其关于数理逻辑的一个命题被命名为“王氏悖论”。中国科学院研究员、智能系统专家王飞跃曾经在《王浩印象》一文中提出,王浩是华人在数理逻辑和人工智能方面成就最大的人,也是上一世纪全世界范围内最杰出的学者之一。
【转载】本科逻辑学专业考研考研方向有哪些?可以考哪些专业?
逻辑学是什么?逻辑学研习中西逻辑史、逻辑学、数理逻辑、思维科学等方面的基本理论和知识,以人类的思维形式及思维规律为研究对象,横跨数学、物理、计算机等多个学科,进行既定命题发生过程的推理和推导等。常见的找规律就是数理逻辑的典型,而数理逻辑也是现代逻辑学的主流。关键词:数学推理规律逻辑...
评论与争鸣 | 欧陆哲学讲逻辑吗?——分析哲学和欧陆哲学的论辩
尽管如此,论辩仍然是一种说理,所以“说理”又是比“论辩”更大的概念。论辩之后是论证。论证中推理的部分要保真,这就是要讲逻辑。对于逻辑来说,又有形式逻辑和各种非形式逻辑。在形式逻辑方面,还有不同种类的形式逻辑,如亚里士多德的三段论逻辑,数理逻辑,或以数理逻辑为基础的各种现代逻辑。由此可以得到以下序列:...
“中西的名、实与逻辑学”
邢滔滔现为北京大学哲学系教授,逻辑教研室主任。主要研究领域为符号逻辑、数学哲学、宗教哲学、中国古代逻辑思想。编、著有《数理逻辑》(北京大学出版社,2008年)、《名家》(中国人民大学出版社,2021年)、PhilosophyofReligion(《宗教哲学经典选读》,与MelStewart合作主编,北京大学出版社,2005年)等书册。在中外学术...