科学网

 找回密码
  注册
证明中的“预设”和“假设”
柳渝 2024-9-17 14:56
在证明的语境中, “ 预设 ” 和 “ 假设 ” 是有区别的,尽管它们是相关的概念。以下是对每个术语的简要解释以及它们的区别: 预设( Presupposition ): 定义:预设是一种隐含的假设,陈述或论证必须为真才有意义。它是无需明确说明就被视为理所当然的事情。 证明中的作用:在证明中, ...
个人分类: 解读哥德尔不完全性定理|401 次阅读|没有评论
参观埃舍尔博物馆
柳渝 2024-9-3 00:17
日月如梭,暑假 结束,新学年开始了! 暑假 临近尾声时,来到荷兰的海牙,参观了向往已久的埃舍尔博物馆。 侯世 达获得普利策奖和国家图书奖的书,《哥德尔、埃舍尔、巴赫( GEB):一条永恒的金 带》( Gödel, Escher, Bach: an Eternal Golden Braid)(1979),不 仅让大众知道了著名的哥德尔不完备性定 ...
个人分类: 解读哥德尔不完全性定理|611 次阅读|1 个评论
“重读哥德尔不完备性定理”的研讨会
热度 1 柳渝 2024-9-3 00:07
如果 说, 2024年的奥 运会法国把巴黎最宝贵的文化遗产和城市景观与世界各国的运动员和观众分享的话,那么 2024年的世界哲学大会(WCP2024)意大利就把最古老和最著名的 罗马大学及文化遗产卡拉卡拉浴场( Terme di Caracalla)与来自世界各国近4000的哲学学人分享! WCP2024( https://wcprome2024.com )分 ...
个人分类: 解读哥德尔不完全性定理|552 次阅读|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 ...
个人分类: 解读哥德尔不完全性定理|878 次阅读|没有评论
哥德尔不完备性定理的原始陈述与现代陈述
热度 2 柳渝 2024-7-11 18:41
当人 们谈论哥德尔不完备性定理时,一般指哥德尔第一不完备性定理和哥德尔第二不完备性定理。 哥德尔 1931 年的 论文( On Formally Undecidable Propositions of Principia Mathematica and Related Systems I» )由 4 章 组成: 在第 1 章,哥德尔概述基于 对角线法构造 “ 说自己 ...
个人分类: 解读哥德尔不完全性定理|1073 次阅读|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 ...
个人分类: 解读哥德尔不完全性定理|1387 次阅读|没有评论
第25届世界哲学大会:“超越边界的哲学” - FISP主席致欢迎辞
柳渝 2024-6-20 17:36
主 题为 “ 超越 边界的哲学 ” 的第 25 届世界哲学大会( 2024 )即将于 8 月 1-8 日在意大利 罗马举行【 1 】! 五年前我有幸参加了在北京 举行的第 24 届世界哲学大会( 2018 )【 2 】,今年我更有幸作 为 “ 重 读哥德尔不完备性定理研讨会 ” 的 发起者之一参会。希望与大家分享这次意义独特的盛会! * ...
个人分类: 解读哥德尔不完全性定理|2218 次阅读|没有评论
《看见黑暗之物》- 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 ...
个人分类: 解读哥德尔不完全性定理|1134 次阅读|2 个评论
逻辑时间与实时时间 - 与Chapgpt对话,2024/3/15
柳渝 2024-3-16 00:09
一,译文 柳渝:是否可以说,在逻辑推理中存在着逻辑时间与实时时间? Chatgpt : 事实上,我们可以在某些哲学和逻辑背景下区分逻辑时间和实时时间。 逻辑时间:在逻辑中,时间可以抽象地和形式化地处理。例如,在时间模态逻辑中,时间通常被视为可以量化和修改的逻辑变量。 “ 未来 ” 、 “ 过去 ” ...
个人分类: 解读哥德尔不完全性定理|1160 次阅读|1 个评论
数字计算机会思考吗? - 图灵1951年在BBC的讲演
热度 1 柳渝 2024-3-9 01:16
在如今chatgpt实现了“图灵测试”之时,让我们来听听图灵于1951年5月15 日在 BBC 广播电台所做的充满探索精神的讲演,“数字计算机会思考吗?” 一, 译文 数字计算机经常被描述为机械大脑,大多数科学家可能认为这种描述只是报纸的噱头,但有些人却不这么认为,一位数学家曾用“人们常说这些机器不是大脑,但 ...
个人分类: 图灵论著专研与精译工作群|1772 次阅读|2 个评论 热度 1

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

GMT+8, 2024-9-20 03:32

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部