欧拉特称量词模型的改进 2021-07-30

一阶逻辑有两个基本量词：全称量词和存在量词 。 后者被解释为特称量词 的发展，其中的一个解释模型是欧拉图模型。 这一解释被质疑多年，具有不完备性，并与现 ...

(2561)次阅读|(0)个评论

准备着，做下一个图灵！ 2017-07-01

电子计算机是如何发明的？-------- 大家都知道是图灵的原型设计图灵机导致了计算机的发明。 那么图灵是如何发明图灵机的呢？他的发明思想及其脉络是怎 ...

(5423)次阅读|(0)个评论

希尔伯特圆梦的佐证 2016-07-30

我在2016年4月的博客《希尔伯特梦后百年》提出希尔伯特纲要的目标并未被哥德尔证明击垮，而是基本实现了。并在微博（http://blog.sciencenet.cn/u/zhangbeij ...

(5172)次阅读|(0)个评论

广义相对论时空计算 2016-06-17

广义相对论时空计算.pdf

(4322)次阅读|(0)个评论

数理逻辑的中国声音 2016-06-12

2016年6月1日， 《证明方法与理论》的作者张寅生回答了受众关注的关于该专著的一些问题如下。 问： 《证明方法与理论》是哪一学科的著 ...

(7712)次阅读|(21)个评论

人工智能的新制高点！ 2016-05-19

作者：张寅生   人工智能是可预期的。这一点如果看一下它的预期历史和可预期的轨迹就可以证明这一点。  今天的人工智能正在使这个星 ...

(5921)次阅读|(0)个评论

两个字定义“智能”！ 2016-05-15

作者  张寅生 只用两个字就能清晰、全面、正确地定义什么是智能----这两个字就是“选择”。 如果一个系统，具有选择能力，其结果对于系统 ...

(5452)次阅读|(1)个评论

为什么图灵计算=递归函数计算？ 2016-05-06

作者：张寅生   已知函数 g （ x 1 ， …, x n ）， h （ x 1 ， … ， x n , y , z ） ...

(8801)次阅读|(0)个评论

百度和Google的科学分野 2016-05-06

已经有分析的文章指出百度和 Google 相似的背景和不同的结局：二者大致同时成为上市公司，最初都搞网上搜索引擎。若干年下来，一个成为人工智能划时代事件的 ...

(7014)次阅读|(2)个评论

递归函数的通俗解释 2016-05-01

作者：张寅生 1 、广义递归函数家族 所谓的递归函数就是广义递归函数，其分类见表 1 ：               ...

(19368)次阅读|(8)个评论

逻辑的灵魂与意义 2016-04-19

作者：张寅生 你会加法 ------- 这应该是你在小学一年级学会了的。描述经济增长总量的经济宏观模型 ----- 凯恩斯国民收入模型 （国民收入 = ...

(6093)次阅读|(3)个评论

递归函数的历史和家族 2016-04-17

               递归函数的历史和家族                 ...

(8404)次阅读|(4)个评论

希尔伯特第24个数学问题 2016-04-14

希尔伯特第24个数学问题                        作者 张寅生 希尔伯特 ...

(6827)次阅读|(0)个评论

希尔伯特梦后百年 2016-04-13

希尔伯特梦后百年 作者：张寅生 一、希尔伯特纲要         希尔伯特于1917年在苏黎世数学学会提出了数 ...

(9297)次阅读|(1)个评论

证明论的百年成就 2016-04-10

证明论系由希尔伯特创立，这在数学界是没有异议的。大致说来，证明论经过了百年。   那么，百年以来，证明论取得了哪些成就呢？   中 ...

(9240)次阅读|(3)个评论

数学证明方法有多少种？ 2016-04-10

这个问题难以回答 --------- 首先涉及如何定义一种数学证明方法，然后才可统计。 希尔伯特对数学证明的定义是：一个证明是一个格式，它本身必须清楚地呈 ...

(24168)次阅读|(3)个评论

引力波的探测历程与未来展望 2016-04-10

关于发现引力波的介绍文章。文章原文见科学网/文献/文献正文： http://doc.sciencenet.cn/DocInfo.aspx?id=24311       ...

(5906)次阅读|(2)个评论

哥德尔证明有了汉译文！ 2016-04-10

    哥德尔证明，指的是哥德尔不完备性定理的证明。关于哥德尔 不完备性 定理，“百度百科”介绍如下：   哥德尔是奥地利裔美国 ...

(6929)次阅读|(0)个评论

查看更多