科学网—zhangbeijing的博文

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › zhangbeijing的博文

zhangbeijing

https://blog.sciencenet.cn/?320682

超数学| 广义相对论| 智能|

置顶 · 欧拉特称量词模型的改进: 2021-7-30 20:24; 一阶逻辑有两个基本量词：全称量词和存在量词。后者被解释为特称量词的发展，其中的一个解释模型是欧拉图模型。这一解释被质疑多年，具有不完备性，并与现代（莱布尼茨之后）的存在量词语义不一致，这使得逻辑史家“ 百思不得其解 ”。如 Keith Stenning, Michiel Van Lambalgen 问道： “How could a ...; 个人分类: 超数学|2028 次阅读|没有评论

准备着，做下一个图灵！: 张寅生 2017-7-1 10:55; 电子计算机是如何发明的？-------- 大家都知道是图灵的原型设计图灵机导致了计算机的发明。那么图灵是如何发明图灵机的呢？他的发明思想及其脉络是怎样的？要翻历史旧账吗？是的，这个账本是通往金银岛的一幅古地图。关于计算机的最本质问题是如何用机器进行任何数的任何计算。对，任何数，任何计算， ...; 个人分类: 超数学|4840 次阅读|没有评论

希尔伯特圆梦的佐证: 张寅生 2016-7-30 19:13; 我在2016年4月的博客《希尔伯特梦后百年》提出希尔伯特纲要的目标并未被哥德尔证明击垮，而是基本实现了。并在微博（http://blog.sciencenet.cn/u/zhangbeijing）设置向正反方征求反响。虽然反响不大，但多数人仍让坚持希尔伯特之梦并未实现。现在我发现了一个支持我的观点的佐证： “从1950年起在数学哲学和逻辑学 ...; 个人分类: 超数学|4629 次阅读|没有评论

数理逻辑的中国声音: 热度 4 张寅生 2016-6-12 14:58; 2016年6月1日，《证明方法与理论》的作者张寅生回答了受众关注的关于该专著的一些问题如下。问：《证明方法与理论》是哪一学科的著作？答：属于数理逻辑。问：数理逻辑是属于什么学科？答：属于数学，是数学的分支。问：数理逻辑和逻辑是什么关系？数学 ...; 个人分类: 超数学|7061 次阅读|21 个评论热度 4

人工智能的新制高点！: 张寅生 2016-5-19 20:42; 作者：张寅生人工智能是可预期的。这一点如果看一下它的预期历史和可预期的轨迹就可以证明这一点。今天的人工智能正在使这个星球成为宇宙中的一粒智能尘粒，使这个星球的物种主宰开始与自然界在基因接口上交互。因此，在匆匆的一生时间内，这个巨大的人工智能革命可能不被完全认知，但是借 ...; 个人分类: 智能|5392 次阅读|没有评论

两个字定义“智能”！: 热度 1 张寅生 2016-5-15 21:31; 作者张寅生只用两个字就能清晰、全面、正确地定义什么是智能----这两个字就是“选择”。如果一个系统，具有选择能力，其结果对于系统的功能而言，有助于其功能或目标，这个选择就是人们所说的“ 智能”，就是哲学家千百年来所说的“智能”，就是科学中所说的“智能”！没有人能反驳这一点，不信 ...; 个人分类: 智能|4830 次阅读|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 ...; 个人分类: 超数学|8186 次阅读|没有评论

数学证明方法有多少种？: 热度 2 张寅生 2016-4-10 17:35; 这个问题难以回答 --------- 首先涉及如何定义一种数学证明方法，然后才可统计。希尔伯特对数学证明的定义是：一个证明是一个格式，它本身必须清楚地呈现在人们面前；它根据推理模式，由一系列断定组成，这里前提 S 或是一条公理（或一些公理），或是在展开中先已出现的证明格式的结尾公式。类似地，哥德 ...; 个人分类: 超数学|22817 次阅读|3 个评论热度 2

哥德尔证明有了汉译文！: 张寅生 2016-4-10 06:20; 哥德尔证明，指的是哥德尔不完备性定理的证明。关于哥德尔不完备性定理，“百度百科”介绍如下：哥德尔是奥地利裔美国著名数学家，不完备性定理是他在 1931 年提出来的。这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。该定理与塔尔斯 ...; 个人分类: 超数学|6347 次阅读|没有评论

什么是超数学？: 张寅生 2016-4-9 20:22; 作者：张寅生 Meta-Mathematics 一直译为“元数学”。本人提议改译为“超数学”，原因是“元数学”把意思译反了，译错了。几乎所有“元 XX ”的称呼都错了：当前称之为“元 XX ” ...; 个人分类: 超数学|7239 次阅读|没有评论

证明方法与理论目录: 张寅生 2016-4-9 19:45; 目录绪论 0.1 对证明论学科发展的一些看法 0.2 本书的一些尝试第1部分预备知识第 1 章基本概念的定义和举例第 2 章基础知识 2.1 集合论概述 2.2 逻辑学概述第2部分证明方法第 3 章关系运算证明方法第 4 ...; 个人分类: 超数学|5181 次阅读|没有评论

会议

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

GMT+8, 2024-5-6 00:13

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部