科学网—liuyu2205的博文

设为首页收藏本站

开启辅助访问切换到宽版

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

liuyu2205

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

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

与ChatGPT关于哥德尔不完备性定理的对话（4）: 柳渝 2023-3-26 00:50; 柳渝：有质疑哥德尔不完备性定理证明的工作吗？ ChatGPT : 哥德尔不完备性定理是数理逻辑中的一个基本结果，已经被广泛研究并接受为该领域的基石。虽然多年来有一些人试图质疑或反驳该定理，但这些努力都没有成功。对哥德尔不完备性定理的一些早期批评来自于数学家，他们认为该定理依赖于循环推理或 ...; 个人分类: 解读哥德尔不完全性定理|321 次阅读|没有评论

chatGPT对自己工作原理的解释 - José与chatGPT的: 柳渝 2023-3-20 01:46; chatGPT 对自己工作原理的解释 - José Manuel Rodríguez Caballero 与 chatGPT 的对话一，译文 José: 从统计物理学的角度解释一下 chatGPT 是如何工作的。 chatGPT-4 ： ChatGPT 是一个基于 GPT-4 架构的语言模型，从统计物理学的角度可以理解为一个为语言序列的概率分布建模 ...; 个人分类: 解读哥德尔不完全性定理|279 次阅读|没有评论

与ChatGPT关于哥德尔不完备性定理的对话（3）: 柳渝 2023-3-20 00:13; 到目前为止在学术界任何质疑哥德尔不完备性定理证明的话题都是禁忌，所以我希望借与 Chapgpt 的对话，引起学术界对此议题的关注。 Chapgpt 的回答在某种程度上代表了学术界的主流观点，比如， Chapgpt 说，罗素悖论被视为对数学基础的直接威胁，因为它破坏了集合作为所有数学基础的想法；但说谎者悖论却不 ...; 个人分类: 解读哥德尔不完全性定理|283 次阅读|没有评论

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

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

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

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

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

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

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

12 3 4 5 6 7 8 9 10 ... 24 下一页

会议

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

GMT+8, 2023-3-30 13:50

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部