张寅生的个人博客分享 http://blog.sciencenet.cn/u/zhangbeijing 探索者:数理逻辑、人工智能

你需要登录后才可以留言 登录 | 注册


统计信息

已有 212304 人来访过

  • 积分: 69
  • 威望: --
  • 金币: 66
  • 活跃度: 22610
  • 好友: 37
  • 主题: 8
  • 博文: 24
  • 相册: 1
  • 分享: 2
欧拉特称量词模型的改进 2021-07-30
一阶逻辑有两个基本量词:全称量词和存在量词 。 后者被解释为特称量词 的发展,其中的一个解释模型是欧拉图模型。 这一解释被质疑多年,具有不完备性,并与现 ...
(2610)次阅读|(0)个评论
准备着,做下一个图灵! 2017-07-01
电子计算机是如何发明的?-------- 大家都知道是图灵的原型设计图灵机导致了计算机的发明。 那么图灵是如何发明图灵机的呢?他的发明思想及其脉络是怎 ...
(5495)次阅读|(0)个评论
希尔伯特圆梦的佐证 2016-07-30
我在2016年4月的博客《希尔伯特梦后百年》提出希尔伯特纲要的目标并未被哥德尔证明击垮,而是基本实现了。并在微博(http://blog.sciencenet.cn/u/zhangbeij ...
(5267)次阅读|(0)个评论
广义相对论时空计算 2016-06-17
广义相对论时空计算.pdf
(4386)次阅读|(0)个评论
数理逻辑的中国声音 2016-06-12
2016年6月1日, 《证明方法与理论》的作者张寅生回答了受众关注的关于该专著的一些问题如下。 问: 《证明方法与理论》是哪一学科的著 ...
(7791)次阅读|(21)个评论
人工智能的新制高点! 2016-05-19
作者:张寅生   人工智能是可预期的。这一点如果看一下它的预期历史和可预期的轨迹就可以证明这一点。  今天的人工智能正在使这个星 ...
(5991)次阅读|(0)个评论
两个字定义“智能”! 2016-05-15
作者  张寅生 只用两个字就能清晰、全面、正确地定义什么是智能----这两个字就是“选择”。 如果一个系统,具有选择能力,其结果对于系统 ...
(5537)次阅读|(1)个评论
为什么图灵计算=递归函数计算? 2016-05-06
作者:张寅生   已知函数 g ( x 1 , …, x n ), h ( x 1 , … , x n , y , z ) ...
(8892)次阅读|(0)个评论
百度和Google的科学分野 2016-05-06
已经有分析的文章指出百度和 Google 相似的背景和不同的结局:二者大致同时成为上市公司,最初都搞网上搜索引擎。若干年下来,一个成为人工智能划时代事件的 ...
(7050)次阅读|(2)个评论
递归函数的通俗解释 2016-05-01
作者:张寅生 1 、广义递归函数家族 所谓的递归函数就是广义递归函数,其分类见表 1 :               ...
(19513)次阅读|(8)个评论
逻辑的灵魂与意义 2016-04-19
作者:张寅生 你会加法 ------- 这应该是你在小学一年级学会了的。描述经济增长总量的经济宏观模型 ----- 凯恩斯国民收入模型 (国民收入 = ...
(6140)次阅读|(3)个评论
递归函数的历史和家族 2016-04-17
               递归函数的历史和家族                 ...
(8483)次阅读|(4)个评论
希尔伯特第24个数学问题 2016-04-14
希尔伯特第24个数学问题                        作者 张寅生 希尔伯特 ...
(6896)次阅读|(0)个评论
希尔伯特梦后百年 2016-04-13
希尔伯特梦后百年 作者:张寅生 一、希尔伯特纲要         希尔伯特于1917年在苏黎世数学学会提出了数 ...
(9365)次阅读|(1)个评论
证明论的百年成就 2016-04-10
证明论系由希尔伯特创立,这在数学界是没有异议的。大致说来,证明论经过了百年。   那么,百年以来,证明论取得了哪些成就呢?   中 ...
(9330)次阅读|(3)个评论
数学证明方法有多少种? 2016-04-10
这个问题难以回答 --------- 首先涉及如何定义一种数学证明方法,然后才可统计。 希尔伯特对数学证明的定义是:一个证明是一个格式,它本身必须清楚地呈 ...
(24376)次阅读|(3)个评论
引力波的探测历程与未来展望 2016-04-10
关于发现引力波的介绍文章。文章原文见科学网/文献/文献正文: http://doc.sciencenet.cn/DocInfo.aspx?id=24311       ...
(5949)次阅读|(2)个评论
哥德尔证明有了汉译文! 2016-04-10
    哥德尔证明,指的是哥德尔不完备性定理的证明。关于哥德尔 不完备性 定理,“百度百科”介绍如下:   哥德尔是奥地利裔美国 ...
(6975)次阅读|(0)个评论

查看更多

    现在还没有记录

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

GMT+8, 2024-12-23 11:22

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部