逻辑学考研冷门吗
逻辑学是研究思维的学科。所有思维都有内容和形式两个方面。思维内容是指思维所反映的对象及其属性;思维形式是指用以反映对象及其属性的不同方式,即表达思维内容的不同方式。从逻辑学角度看,抽象思维的三种基本形式是概念,命题和推理……1逻辑学考研冷门吗逻辑学考研比较冷门。逻辑学是研究思维的学科。所有思维都有...
《从数学到哲学》:近代著名数理逻辑学家王浩哲学代表作,一场从...
近代著名数理逻辑学家王浩哲学代表作《从数学到哲学》近日由广西师范大学出版社出版。王浩(1921—1995)是近代享誉国际的数学家、哲学家、逻辑学家、计算机科学家,是人工智能重要研究领域“机器定理证明”的奠基人,是“王浩瓷砖”模型、“王氏悖论”命题的提出者,是“定理证明里程碑奖”获得者。曾任教于牛津大学、...
数学学科发展如何走向永恒?
·从代数、几何、逻辑学、数学史到生活中的趣事,展现丰富的数学思想
数学悖论系列之五(无限大的悖论)
超级任务由前苏格拉底派研究,并继续成为现代哲学家、数学家、逻辑学家和物理学家感兴趣的对象。术语“超级任务”本身是由J.F.汤姆森(1954)创造的。利特伍德-罗斯悖论(也称为球或花瓶问题或乒乓球问题)是抽象数学和逻辑中的一个假设问题,旨在说明无穷的矛盾性,或至少是非直观的性质。更具体地说,像汤姆森的灯悖论...
罗素:数学这门学科,你永远不知所言为何物,也不知所言之物是否为真。
数学可以被定义为一门学科,在这门学科中,你永远不知所言为何物,也不知所言之物是否为真。——罗素1901年,英国逻辑学家伯特兰·罗素(BertrandRussell)发表了一篇文章,他在文中写道:“数学可以被定义为一门学科,在这门学科中,你永远不知所言为何物,也不知所言之物是否为真。”这一评价既清晰又生动。罗...
数学、逻辑、AI、智能与世界
数学使用符号来表示概念和关系,这些符号具有清晰的定义和规则,通过符号化,数学家能够准确地表达复杂的思想和推理过程,从而简化了复杂的逻辑推理(www.e993.com)2024年10月21日。数学的不同分支如逻辑学、集合论和证明论直接研究逻辑的结构和原理,这些分支不仅帮助确立数学的基础,也深化了我们对逻辑推理的理解。数学不仅仅是逻辑的简化,它也能够应用...
数学与逻辑的交响曲:莱布尼茨与德摩根
德摩根最富创意的贡献可能还是他在逻辑学领域中的研究。他极大地拓展了亚里士多德三段论的范畴,同时详细分析了用代数方式进行推理的过程。本质上讲,德摩根是一位代数学家,这使他更侧重于以代数方法研究逻辑,但尤为可贵的是,他又能用逻辑学家的眼光来分析代数。在他的一篇文章中,德摩根描写了从不同视角分析问题时...
图灵奖揭晓,史上首位数学和计算机界最高荣誉得主出现!
10、AviWigderson:以色列数学家、计算机学家,美国科学院院士,美国人文与科学院士就在不久前,2023年11月3日,维格森AviWigderson还来到了清华大学交叉信息院做客,带来题为“模仿游戏(ImitationGames)”的学术讲座。他与清华交叉信息院院长姚期智已经相识40多年,两人也都从事计算机理论研究。姚期智,1946年12...
罗素:数学与形而上学家
甚至连这三个概念也可以用关系和类的概念加以解释;但是,这需要关系逻辑,而皮亚诺对此绝未论及。必须承认,数学家所须知道且由之出发的东西是不多的。所有纯数学(包括几何学)的所有概念都由之复合而成的概念至多有十来个。在一派才华非常出众的年轻的意大利追随者的帮助下,皮亚诺教授已经表明这一点是如何能做...
采访阿贝尔奖得主的数学家Martin Raussen
这就得到一个分配格(distributivelattice,满足分配律的格,格是一种偏序集合,具有两个二元运算:并(join,记作∨)和交(meet,记作∧),它们分别对应于集合论中的并集和交集运算,分配格在计算机科学、逻辑学和代数学等领域中都有广泛的应用,译者注),但在大多数情况下,一个自然数的因数并不形成布尔代数。它只对...