科学网

 找回密码
  注册
简介Hilbert and Ackermann’s Principles of Theoretical Logic
柳渝 2023-3-7 01:24
简介 Hilbert and Ackermann’s Principles of Theoretical Logic - Stanley Burris 的 读书笔记 一, 简介 Principles of Theoretical Logic 《 Principles of Theoretical Logic 》 是阿克曼和希尔伯特在 1928 年写的一本关于逻辑的书。它是第一本以初级和严谨的方式介绍现在被称为一阶逻辑的 ...
个人分类: 解读哥德尔不完全性定理|1107 次阅读|没有评论
简介多类逻辑(Many-Sorted Logic)
柳渝 2023-3-2 00:50
经典逻辑是描述包含单一域的数学结构的合适的形式语言。相比之下,多类逻辑( MSL )允许对各种域(称为 sorts )进行量化,因此多类逻辑是处理有关不同类型对象的断言的合适载体,这些对象在数学、哲学、计算机科学和形式语义学中无处不在,每种类型都将一类独特的对象分组(例如,点和直线是 2 类结构中不同类型 ...
个人分类: 解读哥德尔不完全性定理|1238 次阅读|没有评论
ChatGPT:“与其说在监控的资本主义中,不如说在管理我们的福祉中” - Eric Sadin
柳渝 2023-2-11 21:07
法国哲学家埃里克 - 萨丁( Eric Sadin )在《世界报》的这篇文章中警告说,看到工业化语言 “ 取代 ” 人类语言的 “ 文明 ” 风险。 一,译文 ChatGPT : “ 与其说在监控的资本主义中,不如说在管理我们的福祉中 ” ChatGPT : « Plus que dans un capitalisme de surveillanc ...
个人分类: 在中法文化之间流连|1944 次阅读|没有评论
皮亚诺与皮亚诺公理
柳渝 2023-2-7 00:03
皮亚诺( Giuseppe Peano , 1858 - 1932 )是意大利数学家、逻辑学家、语言学家,毕生致力于建立数学基础和发展形式逻辑语言,提出了著名的自然数公理化系统。 一,主要著作 皮亚诺的主要著作有《算术原理:用一种新方法的说明》( 1889 年)、同别人合著的《数学公式汇编》(或译为《数学的陈 ...
个人分类: 解读哥德尔不完全性定理|2993 次阅读|没有评论
“普通唯理语法” - Antoine Arnauld,Claude Lancelot
柳渝 2023-1-30 01:06
“ 普通唯理语法( Grammaire générale et raisonné , Grammaire de Port-Royal ) ” 是西方语言学史上的一部重要著作,以清晰自然的方式解释说话艺术的基础,作者是法国人安托尼 · 阿尔诺( Antoine Arnauld , 1612-1694 ) / 克洛德 · 朗斯洛( Claude Lancelot , 1615-1695 )。 ...
个人分类: 解读哥德尔不完全性定理|1362 次阅读|没有评论
“前提(prémisse)” 术语溯源
柳渝 2023-1-26 22:12
一个 “ 前提( prémisse ) ” 是一个命题,一个为支持结论而提出的陈述。前提一词来自拉丁文 praemissa : prae (向前),和 mittere (发送)。 Aristote a déclaré que tout argument logique pourrait être réduit à deux prémisses et une conclusion1. Par exemple : 亚里士多德指 ...
个人分类: 在法国教逻辑课|1519 次阅读|没有评论
Richard Whately 与“逻辑学要素”(Elements of Logic)
柳渝 2023-1-24 06:01
Richard Whately ( 1787-1863 ),英国学者、修辞学家、逻辑学家、哲学家、经济学家和神学家,还曾担任爱尔兰教会都柏林的改革派大主教。他是一位领先的广义教会人士,是一位多产的、涉及广泛主题的作家,性格张扬,也是最早认识到简 - 奥斯汀( Jane Austen )才华的评论家之一。 Whately 是十九世纪初 ...
个人分类: 解读哥德尔不完全性定理|1155 次阅读|没有评论
用一个音节的字解释哥德尔第二不完全性定理 - George Boolos
柳渝 2023-1-21 01:22
一,译文 用一个音节的话解释哥德尔第二不完全性定理 - George Boolos 首先,当我说 “ 证明 ” 时,我的意思是 “ 在整个数学的帮助下证明 ” 。那么现在,大家都知道:二加二等于四。当然,二加二等于四是可以证明的(正如我所说的,借助于整个数学来证明,虽然对于二加二,我们并不需 ...
个人分类: 解读哥德尔不完全性定理|1233 次阅读|没有评论
希尔伯特计划(Hilbert’s Program)
柳渝 2023-1-21 01:08
在数学领域,希尔伯特计划( Hilbert’s Program )是由德国数学家大卫 - 希尔伯特( David Hilbert )在 20 世纪早期制定的,是对数学基础危机的一种拟议解决方案,当时早期试图澄清数学基础的努力被发现存在悖论和不一致。作为一个解决方案,希尔伯特提议将所有现有的理论建立在一套有限的、完整的公理之上,并 ...
个人分类: 解读哥德尔不完全性定理|1630 次阅读|没有评论
乔治-布洛斯 (George Boolos)
柳渝 2023-1-19 22:33
乔治 - 布洛斯 (George Boolos , 1940 – 1996) ,美国哲学家和数理逻辑学家,曾在麻省理工学院任教。 Boolos 是希腊 - 犹太后裔。他在雷蒙德 - 斯穆利安( Raymond Smullyan )的指导下完成了题为 “ 哥德尔第一不完全性定理的简单证明 ” 的论文,毕业于普林斯顿大学,获得数学学士学位。 ...
个人分类: 解读哥德尔不完全性定理|1487 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-3-29 22:18

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部