科学网

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

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

GMT+8, 2024-5-22 03:39

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部