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

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


统计信息

已有 70286 人来访过

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

查看更多

    现在还没有记录

Archiver|手机版|科学网 ( 京ICP备14006957 )

GMT+8, 2017-9-26 08:11

Powered by ScienceNet.cn

Copyright © 2007-2017 中国科学报社

返回顶部