科学网—liuyu2205的博文 - 第12页

设为首页收藏本站

开启辅助访问切换到宽版

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

liuyu2205

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

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

“皇帝的新衣” - 安徒生（Hans Christian Andersen）: 柳渝 2022-12-20 17:16; “ 皇帝的新衣 ” 是丹麦作家安徒生写的一个民间文学故事，讲述了一个虚荣的皇帝在他的臣民面前被暴露的故事。剧情两个骗子来到一个皇帝的首都，皇帝热衷花钱买衣服打扮自己，却疏忽了国家大事。两个骗子假扮成织工，提议为皇帝提供华丽的衣服，并称这些衣服对于那些愚蠢或无能的人来说是看不见的 ...; 个人分类: 解读哥德尔不完全性定理|4210 次阅读|没有评论

什么是“形式系统”？: 柳渝 2022-12-18 06:45; 在逻辑与数学中，形式系统（ Formal system ）是由形式语言与推理规则组成，指根据推理规则从公理推出定理的抽象结构。 1921 年，希尔伯特提出用形式系统作为数学知识的基础。命题逻辑是最简单的形式系统。一，背景介绍推理和蕴含（ Inference and entailment ） ...; 个人分类: 解读哥德尔不完全性定理|2962 次阅读|没有评论

“以辞害意”溯源: 柳渝 2022-12-18 04:01; 成语 “ 以辞害意 ” 指因拘泥于辞义而误会或曲解作者的原意。 “ 以辞害意 ” 源于《孟子 · 万章上》： “ 说《诗》者不以文害辞，不以辞害志。 ” 在《红楼梦》中，香菱为了学诗，要拜黛玉为师。黛玉道： “ 什么难事，也值得去学！不过是起承转合，当中承转是两副对子，平声对仄声， ...; 个人分类: 解读哥德尔不完全性定理|1466 次阅读|没有评论

[转载]文化选择：阿费拉昔牙卜绘画: 柳渝 2022-12-11 05:04; 在丝绸之路的繁盛时期，无数的贸易路线穿越了居住在乌兹别克斯坦、塔吉克斯坦、哈萨克斯坦、吉尔吉斯斯坦的撒马尔罕、布哈拉、胡安德和彭吉肯特等城市州的粟特人领土。这些城市及其商人在丝绸之路沿线的国际贸易和文化间交流发挥了重要的作用。他们在贸易方面的影响如此显着，以至于公元 4 世纪以后，粟特语经常成 ...; 个人分类: 在中法文化之间流连|1823 次阅读|没有评论

乌兹别克斯坦绿洲的瑰宝（丝绸之路） - 卢浮宫展览（2022/11/23-2023/3/6）: 柳渝 2022-12-11 04:54; 卢浮宫于2022/11/23-2023/3/6展出“乌兹别克斯坦绿洲的瑰宝（SPLENDEURS DES OASIS D’OUZBéKISTAN）”，此展览涵盖了公元前 5 世纪至 6 世纪至铁木尔王朝统治时期，讲述了穿过今乌兹别克斯坦南部的伟大丝绸之路的历史。这个展览让我们有机会在中亚的中心地带，在乌兹别克斯坦，在撒马尔罕和布哈拉的名 ...; 个人分类: 在中法文化之间流连|2089 次阅读|没有评论

[转载]“丝绸之路” - 世界文化遗产: 柳渝 2022-12-11 04:30; 2014 年 6 月 22 日，在杜哈举行的第 38 届的世界遗产委员会会议上，丝绸之路被联合国教科文组织列为世界遗产。联合国教科文组织对网站上有关于丝绸之路的各方面丰富的介绍： https://zh.unesco.org/silkroad/guanyusichouzhilu 关于丝绸之路简介人类历史在不断迁徙中 ...; 个人分类: 在中法文化之间流连|2880 次阅读|没有评论

霍恩（Alfred Horn）与霍恩子句（Horn Clause）: 柳渝 2022-12-9 16:39; 1. 霍恩霍恩（ Alfred Horn 1918-2001 ），美国逻辑学家，因其在格子理论和通用代数方面的工作而闻名。他在 1951 年发表的论文 “On sentences which are true of direct unions of algebras” 描述了 Horn 子句和 Horn 句子，后来成为逻辑编程的基础。霍恩出生在曼哈顿下东城，父母都是聋哑人 ...; 个人分类: 在法国教逻辑课|2940 次阅读|没有评论

什么是“理论”？: 热度 2 柳渝 2022-12-8 16:35; “没有事实的理论只是一种幻想，但没有理论的事实只是一种混沌。” - Charles Otis Whitman ， 1894 。 « Une théorie sans faits n’est qu’une fantaisie, mais des faits sans théorie ne sont que chaos. » — Charles Otis Whitman, 1894. 理论，希腊语 theoria ， contempler, ...; 个人分类: 解读哥德尔不完全性定理|5307 次阅读|3 个评论热度 2

简介“模型理论”: 柳渝 2022-12-6 18:56; 模型理论是数理逻辑的一个分支，涉及到结构的构建和分类。特别是，它定义了公理理论的模型，其目的是为了解释数学结构（自然整数集、群、宇宙等）中的句法结构（术语、公式、证明等），以便将它们与语义性质的概念（如意义或真理）联系起来。历史用结构解释数学理论的想法早在 17 世纪就出现了。 ...; 个人分类: 解读哥德尔不完全性定理|2426 次阅读|没有评论

哥德尔论图灵的可计算性（译文） - Oron Shagrir: 热度 2 柳渝 2022-12-6 01:30; 这是 Oron Shagrir 的文章 “ Gödel on Turing on Computability” 的第三节 “ Gödel on Turing’s Analysis of Computability” 译文： *** 第三节哥德尔论图灵的可计算性分析众所周知，在哥德尔的 1934 年普林斯顿演讲的印刷版中出现了一个似乎很像 ...; 个人分类: 解读哥德尔不完全性定理|2239 次阅读|2 个评论热度 2

1 ... 8 9 10 111213 14 15 16 ... 65 下一页

会议

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

GMT+8, 2024-9-21 03:10

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部