科学网—liuyu2205的博文

设为首页收藏本站

开启辅助访问切换到宽版

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

liuyu2205

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

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

证明中的“预设”和“假设”: 柳渝 2024-9-17 14:56; 在证明的语境中， “ 预设 ” 和 “ 假设 ” 是有区别的，尽管它们是相关的概念。以下是对每个术语的简要解释以及它们的区别：预设（ Presupposition ）：定义：预设是一种隐含的假设，陈述或论证必须为真才有意义。它是无需明确说明就被视为理所当然的事情。证明中的作用：在证明中， ...; 个人分类: 解读哥德尔不完全性定理|577 次阅读|没有评论

“重读哥德尔不完备性定理”的研讨会: 热度 1 柳渝 2024-9-3 00:07; 如果说， 2024年的奥运会法国把巴黎最宝贵的文化遗产和城市景观与世界各国的运动员和观众分享的话，那么 2024年的世界哲学大会（WCP2024）意大利就把最古老和最著名的罗马大学及文化遗产卡拉卡拉浴场（ Terme di Caracalla）与来自世界各国近4000的哲学学人分享！ WCP2024（ https://wcprome2024.com ）分 ...; 个人分类: 解读哥德尔不完全性定理|629 次阅读|2 个评论热度 1

诺盖斯的哥德尔传记“哥德尔的魔鬼：逻辑与疯狂”书评: 柳渝 2024-7-22 18:05; https://laviedesidees.fr/Kurt-Godel-aux-frontieres-de-la.html 库尔特 - 哥德尔在理性的边缘： des théorèmes aux théo-rêves… par Ariel Suhamy , le 8 novembre 2007 皮埃尔 - 卡苏 - 诺盖斯（ Pierre Cassou-Noguès ）的库尔特 - 哥德尔（ Kurt Gödel ）传记（Les démons de ...; 个人分类: 解读哥德尔不完全性定理|929 次阅读|没有评论

哥德尔不完备性定理的原始陈述与现代陈述: 热度 2 柳渝 2024-7-11 18:41; 当人们谈论哥德尔不完备性定理时，一般指哥德尔第一不完备性定理和哥德尔第二不完备性定理。哥德尔 1931 年的论文（ On Formally Undecidable Propositions of Principia Mathematica and Related Systems I» ）由 4 章组成：在第 1 章，哥德尔概述基于对角线法构造 “ 说自己 ...; 个人分类: 解读哥德尔不完全性定理|1142 次阅读|5 个评论热度 2

图灵是站在哥德尔的肩膀上吗？- B. Jack Copeland & Zhao Fan: 柳渝 2024-6-28 18:00; https://link.springer.com/article/10.1007/s00283-022-10177-y Published: 04 June 2022 Did Turing Stand on Gödel’s Shoulders? B. Jack Copeland Zhao Fan 图灵是站在哥德尔的肩膀上吗？ - B. Jack Copeland Zhao Fan The history of mathematics is a field generally characte ...; 个人分类: 解读哥德尔不完全性定理|1528 次阅读|没有评论

《看见黑暗之物》- Roy Sorensen: 柳渝 2024-4-5 23:04; 罗伊 · 索伦森 (Roy Sorensen) 是美国认识论、形而上学、语言哲学学者，八本书的作者： Nothing: A Philosophical History (2022), 《虚无：哲学史》 A Cabinet of Philosophical Curiosities (2016), 《哲学好奇心内阁》 Seeing Dark Things (2008), 《看见黑暗之物》 A Brief History of the Para ...; 个人分类: 解读哥德尔不完全性定理|1167 次阅读|2 个评论

逻辑时间与实时时间 - 与Chapgpt对话，2024/3/15: 柳渝 2024-3-16 00:09; 一，译文柳渝：是否可以说，在逻辑推理中存在着逻辑时间与实时时间？ Chatgpt : 事实上，我们可以在某些哲学和逻辑背景下区分逻辑时间和实时时间。逻辑时间：在逻辑中，时间可以抽象地和形式化地处理。例如，在时间模态逻辑中，时间通常被视为可以量化和修改的逻辑变量。 “ 未来 ” 、 “ 过去 ” ...; 个人分类: 解读哥德尔不完全性定理|1207 次阅读|1 个评论

数字计算机会思考吗？ - 图灵1951年在BBC的讲演: 热度 1 柳渝 2024-3-9 01:16; 在如今chatgpt实现了“图灵测试”之时，让我们来听听图灵于1951年5月15 日在 BBC 广播电台所做的充满探索精神的讲演，“数字计算机会思考吗？” 一，译文数字计算机经常被描述为机械大脑，大多数科学家可能认为这种描述只是报纸的噱头，但有些人却不这么认为，一位数学家曾用“人们常说这些机器不是大脑，但 ...; 个人分类: 图灵论著专研与精译工作群|1803 次阅读|2 个评论热度 1

[转载]略评哥德尔 - 黄展骥: 柳渝 2024-1-16 04:36; 逻辑学家黄展骥（ 1934 - 2014），出生于广州，中学就读于香港华仁书院，1957 年至 1961 年就读于台湾大学哲学系，是殷海光先生喜愛的弟子之一。回港后， 1962 年至 1966 年在香港大学哲学研究所进修，兼任香港中文大学讲师。此后历任香港多所大专院校讲师、副教授，主要从事逻辑学教学、研究和普及工作。下文是黄展骥 ...; 个人分类: 解读哥德尔不完全性定理|1182 次阅读|没有评论

世界逻辑日：“说谎者悖论” - 图灵的视角与哥德尔的视角: 柳渝 2024-1-15 00:52; 柳渝， Laboratoire MIS, Université de Picardie Jules Verne，France 一，引言哥德尔不完备性定理的证明主要在他 1931 年论文的第一章和第二章：在第一章中，哥德尔介绍其证明的主要思路，即直接运用传统的康托尔对角线法构造一个说自己是不可证明的悖论命题; 在第二章中，哥德尔直接在他所定义的 ...; 个人分类: 解读哥德尔不完全性定理|1524 次阅读|没有评论

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

会议

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

GMT+8, 2024-9-26 16:14

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部