科学网—liuyu2205的博文 - 第7页

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › liuyu2205的博文

liuyu2205

https://wap.sciencenet.cn/?2322490

在中法文化之间流连| 不确定性问题和算法讨论| 智能哲学| NP理论| 非经典逻辑与中国传统逻辑| 英语博文| 图灵论著专研与精译工作群| AI伦理与社会群| 周剑铭论中国思想与中西文化系列文章| 在法国教逻辑课| 教学中的文化视角| 师徒对话| Paul Jorion的书译文| 解读哥德尔不完全性定理| 波普尔的《科学发现的逻辑》| 《易经》学习| 系统思维|

与ChatGPT关于哥德尔不完备性定理的对话（2）: 柳渝 2023-3-7 16:53; 我 2023/3/6 与 ChatGPT 对话到最后一个问题中断后，我今天用中文再问此问题，此外还有二个法国网友用法语问 ChatGPT 和 Bing 这个问题，分享如下：一，柳渝再问 ChatGPT 二， Manuel Guérin 代问 ChatGPT 【 1 】柳渝：当罗素悖论出现在集合论中时，它被认为是一种危 ...; 个人分类: 解读哥德尔不完全性定理|1554 次阅读|没有评论

简介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 年写的一本关于逻辑的书。它是第一本以初级和严谨的方式介绍现在被称为一阶逻辑的 ...; 个人分类: 解读哥德尔不完全性定理|1176 次阅读|没有评论

简介多类逻辑（Many-Sorted Logic）: 柳渝 2023-3-2 00:50; 经典逻辑是描述包含单一域的数学结构的合适的形式语言。相比之下，多类逻辑（ MSL ）允许对各种域（称为 sorts ）进行量化，因此多类逻辑是处理有关不同类型对象的断言的合适载体，这些对象在数学、哲学、计算机科学和形式语义学中无处不在，每种类型都将一类独特的对象分组（例如，点和直线是 2 类结构中不同类型 ...; 个人分类: 解读哥德尔不完全性定理|1314 次阅读|没有评论

ChatGPT：“与其说在监控的资本主义中，不如说在管理我们的福祉中” - Eric Sadin: 柳渝 2023-2-11 21:07; 法国哲学家埃里克 - 萨丁（ Eric Sadin ）在《世界报》的这篇文章中警告说，看到工业化语言 “ 取代 ” 人类语言的 “ 文明 ” 风险。一，译文 ChatGPT ： “ 与其说在监控的资本主义中，不如说在管理我们的福祉中 ” ChatGPT : « Plus que dans un capitalisme de surveillanc ...; 个人分类: 在中法文化之间流连|2032 次阅读|没有评论

皮亚诺与皮亚诺公理: 柳渝 2023-2-7 00:03; 皮亚诺（ Giuseppe Peano ， 1858 － 1932 ）是意大利数学家、逻辑学家、语言学家，毕生致力于建立数学基础和发展形式逻辑语言，提出了著名的自然数公理化系统。一，主要著作皮亚诺的主要著作有《算术原理：用一种新方法的说明》（ 1889 年）、同别人合著的《数学公式汇编》（或译为《数学的陈 ...; 个人分类: 解读哥德尔不完全性定理|3133 次阅读|没有评论

“普通唯理语法” - 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 ）。 ...; 个人分类: 解读哥德尔不完全性定理|1467 次阅读|没有评论

“前提（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 : 亚里士多德指 ...; 个人分类: 在法国教逻辑课|1581 次阅读|没有评论

Richard Whately 与“逻辑学要素”（Elements of Logic）: 柳渝 2023-1-24 06:01; Richard Whately （ 1787-1863 ），英国学者、修辞学家、逻辑学家、哲学家、经济学家和神学家，还曾担任爱尔兰教会都柏林的改革派大主教。他是一位领先的广义教会人士，是一位多产的、涉及广泛主题的作家，性格张扬，也是最早认识到简 - 奥斯汀（ Jane Austen ）才华的评论家之一。 Whately 是十九世纪初 ...; 个人分类: 解读哥德尔不完全性定理|1214 次阅读|没有评论

用一个音节的字解释哥德尔第二不完全性定理 - George Boolos: 柳渝 2023-1-21 01:22; 一，译文用一个音节的话解释哥德尔第二不完全性定理 - George Boolos 首先，当我说 “ 证明 ” 时，我的意思是 “ 在整个数学的帮助下证明 ” 。那么现在，大家都知道：二加二等于四。当然，二加二等于四是可以证明的（正如我所说的，借助于整个数学来证明，虽然对于二加二，我们并不需 ...; 个人分类: 解读哥德尔不完全性定理|1288 次阅读|没有评论

希尔伯特计划（Hilbert’s Program）: 柳渝 2023-1-21 01:08; 在数学领域，希尔伯特计划（ Hilbert’s Program ）是由德国数学家大卫 - 希尔伯特（ David Hilbert ）在 20 世纪早期制定的，是对数学基础危机的一种拟议解决方案，当时早期试图澄清数学基础的努力被发现存在悖论和不一致。作为一个解决方案，希尔伯特提议将所有现有的理论建立在一套有限的、完整的公理之上，并 ...; 个人分类: 解读哥德尔不完全性定理|1725 次阅读|没有评论

1 ... 2 3 4 5 678 9 10 11 ... 30 下一页

会议

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

GMT+8, 2024-4-27 07:04

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部