博文

置顶 · 欧拉特称量词模型的改进

2021-7-30 20:24

一阶逻辑有两个基本量词：全称量词和存在量词 。 后者被解释为特称量词 的发展，其中的一个解释模型是欧拉图模型。 这一解释被质疑多年，具有不完备性，并与现代（莱布尼茨之后）的存在量词语义不一致，这使得逻辑史家“ 百思不得其解 ”。 如 Keith Stenning, Michiel Van Lambalgen 问道： “How could a ...

个人分类: 超数学|1989 次阅读|没有评论

准备着，做下一个图灵！

2017-7-1 10:55

电子计算机是如何发明的？-------- 大家都知道是图灵的原型设计图灵机导致了计算机的发明。 那么图灵是如何发明图灵机的呢？他的发明思想及其脉络是怎样的？ 要翻历史旧账吗？是的，这个账本是通往金银岛的一幅古地图。 关于计算机的最本质问题是如何用机器进行任何数的任何计算。对，任何数，任何计算， ...

个人分类: 超数学|4808 次阅读|没有评论

希尔伯特圆梦的佐证

2016-7-30 19:13

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

个人分类: 超数学|4596 次阅读|没有评论

广义相对论时空计算

2016-6-17 18:53

广义相对论时空计算.pdf

个人分类: 广义相对论|3807 次阅读|没有评论

数理逻辑的中国声音

热度 4 2016-6-12 14:58

2016年6月1日， 《证明方法与理论》的作者张寅生回答了受众关注的关于该专著的一些问题如下。 问： 《证明方法与理论》是哪一学科的著作？ 答： 属于数理逻辑。 问： 数理逻辑是属于什么学科？ 答： 属于数学，是数学的分支。 问： 数理逻辑和逻辑是什么关系？ 数学 ...

个人分类: 超数学|7010 次阅读|21 个评论 热度 4

人工智能的新制高点！

2016-5-19 20:42

作者：张寅生 人工智能是可预期的。这一点如果看一下它的预期历史和可预期的轨迹就可以证明这一点。 今天的人工智能正在使这个星球成为宇宙中的一粒智能尘粒，使这个星球的物种主宰开始与自然界在基因接口上交互。因此，在匆匆的一生时间内，这个巨大的人工智能革命可能不被完全认知，但是借 ...

个人分类: 智能|5356 次阅读|没有评论

两个字定义“智能”！

热度 1 2016-5-15 21:31

作者 张寅生 只用两个字就能清晰、全面、正确地定义什么是智能----这两个字就是“选择”。 如果一个系统，具有选择能力，其结果对于系统的功能而言，有助于其功能或目标，这个选择就是人们所说的“ 智能”，就是哲学家千百年来所说的“智能”，就是科学中所说的“智能”！没有人能反驳这一点，不信 ...

个人分类: 智能|4799 次阅读|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 ...

个人分类: 超数学|8152 次阅读|没有评论

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