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

博文

按标题搜索
分享 准备着,做下一个图灵!
2017-7-1 10:55
电子计算机是如何发明的?-------- 大家都知道是图灵的原型设计图灵机导致了计算机的发明。 那么图灵是如何发明图灵机的呢?他的发明思想及其脉络是怎样的? 要翻历史旧账吗?是的,这个账本是通往金银岛的一幅古地图。 关于计算机的最本质问题是如何用机器进行任何数的任何计算。对,任何数,任何计算, ...
个人分类: 超数学|2564 次阅读|没有评论
分享 希尔伯特圆梦的佐证
2016-7-30 19:13
我在2016年4月的博客《希尔伯特梦后百年》提出希尔伯特纲要的目标并未被哥德尔证明击垮,而是基本实现了。并在微博(http://blog.sciencenet.cn/u/zhangbeijing)设置向正反方征求反响。虽然反响不大,但多数人仍让坚持希尔伯特之梦并未实现。 现在我发现了一个支持我的观点的佐证: “从1950年起在数学哲学和逻辑学 ...
个人分类: 超数学|2788 次阅读|没有评论
分享 广义相对论时空计算
2016-6-17 18:53
广义相对论时空计算.pdf
个人分类: 广义相对论|1996 次阅读|没有评论
分享 数理逻辑的中国声音
热度 4 2016-6-12 14:58
2016年6月1日, 《证明方法与理论》的作者张寅生回答了受众关注的关于该专著的一些问题如下。 问: 《证明方法与理论》是哪一学科的著作? 答: 属于数理逻辑。 问: 数理逻辑是属于什么学科? 答: 属于数学,是数学的分支。 问: 数理逻辑和逻辑是什么关系? 数学 ...
个人分类: 超数学|4554 次阅读|19 个评论 热度 4
分享 人工智能的新制高点!
2016-5-19 20:42
作者:张寅生 人工智能是可预期的。这一点如果看一下它的预期历史和可预期的轨迹就可以证明这一点。 今天的人工智能正在使这个星球成为宇宙中的一粒智能尘粒,使这个星球的物种主宰开始与自然界在基因接口上交互。因此,在匆匆的一生时间内,这个巨大的人工智能革命可能不被完全认知,但是借 ...
个人分类: 智能|3667 次阅读|没有评论
分享 两个字定义“智能”!
热度 1 2016-5-15 21:31
作者 张寅生 只用两个字就能清晰、全面、正确地定义什么是智能----这两个字就是“选择”。 如果一个系统,具有选择能力,其结果对于系统的功能而言,有助于其功能或目标,这个选择就是人们所说的“ 智能”,就是哲学家千百年来所说的“智能”,就是科学中所说的“智能”!没有人能反驳这一点,不信 ...
个人分类: 智能|2907 次阅读|1 个评论 热度 1
分享 为什么图灵计算=递归函数计算?
2016-5-6 18:30
作者:张寅生 已知函数 g ( x 1 , …, x n ), h ( x 1 , … , x n , y , z ),则函数 f : f ( x 1 , … , x n ,0 )= g ( x 1 , … , x n ) &nb ...
个人分类: 超数学|4149 次阅读|没有评论
分享 百度和Google的科学分野
热度 2 2016-5-6 10:03
已经有分析的文章指出百度和 Google 相似的背景和不同的结局:二者大致同时成为上市公司,最初都搞网上搜索引擎。若干年下来,一个成为人工智能划时代事件的人机大战事件创造者,另一个成为虚假医疗信息的代言人。何以如此? 有个文章说“你是你的选择”,是指百度选择了自己的道路。但是得分析一下,为啥一个选高一 ...
个人分类: 超数学|4615 次阅读|2 个评论 热度 2

本页有 2 篇博文因作者的隐私设置或未通过审核而隐藏

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

GMT+8, 2019-12-6 14:02

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部