不确定性的困惑与NP理论分享 http://blog.sciencenet.cn/u/liuyu2205 平常心是道

博文

按标题搜索
逻辑时间与实时时间 - 与Chapgpt对话,2024/3/15
2024-3-16 00:09
一,译文 柳渝:是否可以说,在逻辑推理中存在着逻辑时间与实时时间? Chatgpt : 事实上,我们可以在某些哲学和逻辑背景下区分逻辑时间和实时时间。 逻辑时间:在逻辑中,时间可以抽象地和形式化地处理。例如,在时间模态逻辑中,时间通常被视为可以量化和修改的逻辑变量。 “ 未来 ” 、 “ 过去 ” ...
个人分类: 解读哥德尔不完全性定理|250 次阅读|1 个评论
数字计算机会思考吗? - 图灵1951年在BBC的讲演
热度 1 2024-3-9 01:16
在如今chatgpt实现了“图灵测试”之时,让我们来听听图灵于1951年5月15 日在 BBC 广播电台所做的充满探索精神的讲演,“数字计算机会思考吗?” 一, 译文 数字计算机经常被描述为机械大脑,大多数科学家可能认为这种描述只是报纸的噱头,但有些人却不这么认为,一位数学家曾用“人们常说这些机器不是大脑,但 ...
个人分类: 图灵论著专研与精译工作群|786 次阅读|2 个评论 热度 1
法国运筹学2024年会(ROADEF’2024)- 相聚在亚眠
2024-3-6 23:39
今年的法国运筹学年会(ROADEF)这周在儒尔-凡尔纳大学召开了(2024/3/4-7)!600多位运筹学方面的同行相聚在亚眠,这个儒尔-凡尔纳曾经生活和写作的城市,展开学术和运用方面的热情交流,大会主题特别关注环境保护,医疗健康,运输和能源方面的主题。 这一届ROADEF由我们MIS实验室的研究团队GOC主办,由同事(Corinne ...
个人分类: 在中法文化之间流连|1269 次阅读|1 个评论
爱尔兰马铃薯大饥荒展览简介
热度 1 2024-2-5 19:06
我这个周末在爱尔兰的都柏林,了解惊人的历史事件 “ 爱尔兰马铃薯大饥荒 ” ! 1845 年至 1852 年间,马铃薯病引发的爱尔兰大饥荒给爱尔兰民族留下了永久的精神创伤。这场灾难不仅警示我们要思考造成这场悲剧的社会制度根源,还要思考生态系统和自然环境对人类社会发展和进程的重大影响,。。。 这是四月份开 ...
个人分类: 在中法文化之间流连|802 次阅读|1 个评论 热度 1
[转载]略评哥德尔 - 黄展骥
2024-1-16 04:36
逻辑学家黄展骥( 1934 - 2014),出生于广州,中学就读于香港华仁书院,1957 年至 1961 年就读于台湾大学哲学系,是殷海光先生喜愛的弟子之一。回港后, 1962 年至 1966 年在香港大学哲学研究所进修,兼任香港中文大学讲师。此后历任香港多所大专院校讲师、副教授,主要从事逻辑学教学、研究和普及工作。 下文是黄展骥 ...
个人分类: 解读哥德尔不完全性定理|440 次阅读|没有评论
世界逻辑日:“说谎者悖论” - 图灵的视角与哥德尔的视角
2024-1-15 00:52
柳渝, Laboratoire MIS, Université de Picardie Jules Verne,France 一,引言 哥德尔不完备性定理的证明主要在他 1931 年论文的第一章和第二章 :在第一章中,哥德尔介绍其证明的主要思路,即直接运用传统的康托尔对角线法构造一个说自己是不可证明的悖论命题; 在第二章中,哥德尔直接在他所定义的 ...
个人分类: 解读哥德尔不完全性定理|663 次阅读|没有评论
简介图灵1936年的论文
2024-1-5 19:40
当前蓬勃发展的人工智能揭示出人类面对自身的挑战,当我们从中认识到人类社会出现重大转折时却似乎失去了方向感,比如,人工智能的可解释性一直是一个 “ 黑盒子 ” 。因此,我 们认为,追本溯源重读图灵的著作对理清一直以来困扰人们的数理逻辑和计算机理论的基本难题会有实质性的帮助! 图灵 1936 年 论文为计 ...
个人分类: 图灵论著专研与精译工作群|1385 次阅读|没有评论
点评“复杂性理论探索知识极限的 50 年历程”
热度 1 2023-12-30 13:22
“ 复杂性理论探索知识极限的 50 年历程 ” 一文,对 P versus NP 问题的研究进行了精彩的回顾(见下图),特别是追本溯源到希尔伯特计划(其经典表达 “ 判定命题( Entscheidungsproblem ) ”) ,使得 P versus NP 问题与哥德尔,图灵等人的工作联系起来,让文章呈现出同类文章中难见的开阔视野! ...
个人分类: 解读哥德尔不完全性定理|1167 次阅读|1 个评论 热度 1
“复杂性理论探索知识极限的 50 年历程”部分译文
热度 1 2023-12-29 15:39
复 杂性理论探索知识极限的 50 年历程 - Ben Brubaker 一,起源 二,障碍 三,机遇 证明问题难以解决有多难?几十年来,元复 杂性理论家们一直在提出这样的问题。最近的一系列成果开始给出答案。 复 杂性理论家们正面临着迄今为止最令人费解的问题:复杂性理论本身。 一,起源 2007 年秋季学期的第一周 ...
个人分类: 解读哥德尔不完全性定理|1157 次阅读|1 个评论 热度 1
《所有人的地球》(Earth For All)
2023-12-17 04:26
《所有人的地球》 (Earth For All) 2022 年出版 —— 五年前,《增长的极限》震惊了世界,它表明人口和工业增长正在将人类推向悬崖。今天,世界认识到我们正处于悬崖边缘:地球已经跨越了多个行星边界,而广泛的不平等正在造成社会的严重不稳定,似乎已经没有出路了。 《所有人的地球》 (Earth For All) 既是绝望的 ...
个人分类: 系统思维|581 次阅读|没有评论

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

GMT+8, 2024-3-29 04:53

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部