科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
分享 准备着,做下一个图灵!
张寅生 2017-7-1 10:55
电子计算机是如何发明的?-------- 大家都知道是图灵的原型设计图灵机导致了计算机的发明。 那么图灵是如何发明图灵机的呢?他的发明思想及其脉络是怎样的? 要翻历史旧账吗?是的,这个账本是通往金银岛的一幅古地图。 关于计算机的最本质问题是如何用机器进行任何数的任何计算。对,任何数,任何计算, ...
个人分类: 超数学|2692 次阅读|没有评论
分享 希尔伯特圆梦的佐证
张寅生 2016-7-30 19:13
我在2016年4月的博客《希尔伯特梦后百年》提出希尔伯特纲要的目标并未被哥德尔证明击垮,而是基本实现了。并在微博(http://blog.sciencenet.cn/u/zhangbeijing)设置向正反方征求反响。虽然反响不大,但多数人仍让坚持希尔伯特之梦并未实现。 现在我发现了一个支持我的观点的佐证: “从1950年起在数学哲学和逻辑学 ...
个人分类: 超数学|2913 次阅读|没有评论
分享 数理逻辑的中国声音
热度 4 张寅生 2016-6-12 14:58
2016年6月1日, 《证明方法与理论》的作者张寅生回答了受众关注的关于该专著的一些问题如下。 问: 《证明方法与理论》是哪一学科的著作? 答: 属于数理逻辑。 问: 数理逻辑是属于什么学科? 答: 属于数学,是数学的分支。 问: 数理逻辑和逻辑是什么关系? 数学 ...
个人分类: 超数学|4721 次阅读|19 个评论 热度 4
分享 人工智能的新制高点!
张寅生 2016-5-19 20:42
作者:张寅生 人工智能是可预期的。这一点如果看一下它的预期历史和可预期的轨迹就可以证明这一点。 今天的人工智能正在使这个星球成为宇宙中的一粒智能尘粒,使这个星球的物种主宰开始与自然界在基因接口上交互。因此,在匆匆的一生时间内,这个巨大的人工智能革命可能不被完全认知,但是借 ...
个人分类: 智能|3774 次阅读|没有评论
分享 两个字定义“智能”!
热度 1 张寅生 2016-5-15 21:31
作者 张寅生 只用两个字就能清晰、全面、正确地定义什么是智能----这两个字就是“选择”。 如果一个系统,具有选择能力,其结果对于系统的功能而言,有助于其功能或目标,这个选择就是人们所说的“ 智能”,就是哲学家千百年来所说的“智能”,就是科学中所说的“智能”!没有人能反驳这一点,不信 ...
个人分类: 智能|3006 次阅读|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 ...
个人分类: 超数学|4373 次阅读|没有评论
分享 数学证明方法有多少种?
热度 2 张寅生 2016-4-10 17:35
这个问题难以回答 --------- 首先涉及如何定义一种数学证明方法,然后才可统计。 希尔伯特对数学证明的定义是:一个证明是一个格式,它本身必须清楚地呈现在人们面前;它根据推理模式,由一系列断定组成,这里前提 S 或是一条公理(或一些公理),或是在展开中先已出现的证明格式的结尾公式 。 类似地,哥德 ...
个人分类: 超数学|11145 次阅读|3 个评论 热度 2
分享 哥德尔证明有了汉译文!
张寅生 2016-4-10 06:20
哥德尔证明,指的是哥德尔不完备性定理的证明。关于哥德尔 不完备性 定理,“百度百科”介绍如下: 哥德尔是奥地利裔美国著名数学家,不完备性定理是他在 1931 年提出来的。这一理论使 数学基础研究发生了 划时代 的变化,更是现代逻辑史上很重要的一座里程碑。该定理与塔尔斯 ...
个人分类: 超数学|4186 次阅读|没有评论
分享 什么是超数学?
张寅生 2016-4-9 20:22
作者:张寅生 Meta-Mathematics 一直译为“元数学”。本人提议改译为“超数学”,原因是“元数学”把意思译反了,译错了。几乎所有“元 XX ”的称呼都错了:当前称之为“元 XX ” ...
个人分类: 超数学|4222 次阅读|没有评论
分享 证明方法与理论 目录
张寅生 2016-4-9 19:45
目 录 绪论 0.1 对证明论学科发展的一些看法 0.2 本书的一些尝试 第1部分 预备知识 第 1 章 基本概念的定义和举例 第 2 章 基础知识 2.1 集合论概述 2.2 逻辑学概述 第2部分 证明方法 第 3 章 关系运算证明方法 第 4 ...
个人分类: 超数学|3454 次阅读|没有评论

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

GMT+8, 2020-2-29 22:09

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部