科学网—liuyu2205的博文

设为首页收藏本站

开启辅助访问切换到宽版

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

liuyu2205

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

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

诺盖斯的哥德尔传记“哥德尔的魔鬼：逻辑与疯狂”书评: 柳渝 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 ...; 个人分类: 解读哥德尔不完全性定理|505 次阅读|没有评论

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

图灵是站在哥德尔的肩膀上吗？- 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 ...; 个人分类: 解读哥德尔不完全性定理|446 次阅读|没有评论

第25届世界哲学大会：“超越边界的哲学” - FISP主席致欢迎辞: 柳渝 2024-6-20 17:36; 主题为 “ 超越边界的哲学 ” 的第 25 届世界哲学大会（ 2024 ）即将于 8 月 1-8 日在意大利罗马举行【 1 】！五年前我有幸参加了在北京举行的第 24 届世界哲学大会（ 2018 ）【 2 】，今年我更有幸作为 “ 重读哥德尔不完备性定理研讨会 ” 的发起者之一参会。希望与大家分享这次意义独特的盛会！ * ...; 个人分类: 解读哥德尔不完全性定理|902 次阅读|没有评论

《看见黑暗之物》- 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 ...; 个人分类: 解读哥德尔不完全性定理|791 次阅读|2 个评论

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

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

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

点评“复杂性理论探索知识极限的 50 年历程”: 热度 1 柳渝 2023-12-30 13:22; “ 复杂性理论探索知识极限的 50 年历程 ” 一文，对 P versus NP 问题的研究进行了精彩的回顾（见下图），特别是追本溯源到希尔伯特计划（其经典表达 “ 判定命题（ Entscheidungsproblem ） ”），使得 P versus NP 问题与哥德尔，图灵等人的工作联系起来，让文章呈现出同类文章中难见的开阔视野！ ...; 个人分类: 解读哥德尔不完全性定理|1565 次阅读|1 个评论热度 1

“复杂性理论探索知识极限的 50 年历程”部分译文: 热度 1 柳渝 2023-12-29 15:39; 复杂性理论探索知识极限的 50 年历程 - Ben Brubaker 一，起源二，障碍三，机遇证明问题难以解决有多难？几十年来，元复杂性理论家们一直在提出这样的问题。最近的一系列成果开始给出答案。复杂性理论家们正面临着迄今为止最令人费解的问题：复杂性理论本身。一，起源 2007 年秋季学期的第一周 ...; 个人分类: 解读哥德尔不完全性定理|1568 次阅读|1 个评论热度 1

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

会议

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

GMT+8, 2024-7-27 09:47

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部