博文
- 置顶 · 欧拉特称量词模型的改进
- 一阶逻辑有两个基本量词：全称量词和存在量词 。 后者被解释为特称量词 的发展，其中的一个解释模型是欧拉图模型。 这一解释被质疑多年，具有不完备性，并与现代（莱布尼茨之后）的存在量词语义不一致，这使得逻辑史家“ 百思不得其解 ”。 如 Keith Stenning, Michiel Van Lambalgen 问道： “How could a ...
- 准备着，做下一个图灵！
- 电子计算机是如何发明的？-------- 大家都知道是图灵的原型设计图灵机导致了计算机的发明。 那么图灵是如何发明图灵机的呢？他的发明思想及其脉络是怎样的？ 要翻历史旧账吗？是的，这个账本是通往金银岛的一幅古地图。 关于计算机的最本质问题是如何用机器进行任何数的任何计算。对，任何数，任何计算， ...
- 希尔伯特圆梦的佐证
- 我在2016年4月的博客《希尔伯特梦后百年》提出希尔伯特纲要的目标并未被哥德尔证明击垮，而是基本实现了。并在微博（http://blog.sciencenet.cn/u/zhangbeijing）设置向正反方征求反响。虽然反响不大，但多数人仍让坚持希尔伯特之梦并未实现。 现在我发现了一个支持我的观点的佐证： “从1950年起在数学哲学和逻辑学 ...
- 数理逻辑的中国声音
- 热度 4
- 2016年6月1日， 《证明方法与理论》的作者张寅生回答了受众关注的关于该专著的一些问题如下。 问： 《证明方法与理论》是哪一学科的著作？ 答： 属于数理逻辑。 问： 数理逻辑是属于什么学科？ 答： 属于数学，是数学的分支。 问： 数理逻辑和逻辑是什么关系？ 数学 ...
- 为什么图灵计算=递归函数计算？
- 作者：张寅生 已知函数 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 ...
- 百度和Google的科学分野
- 热度 2
- 已经有分析的文章指出百度和 Google 相似的背景和不同的结局：二者大致同时成为上市公司，最初都搞网上搜索引擎。若干年下来，一个成为人工智能划时代事件的人机大战事件创造者，另一个成为虚假医疗信息的代言人。何以如此？ 有个文章说“你是你的选择”，是指百度选择了自己的道路。但是得分析一下，为啥一个选高一 ...
- 递归函数的通俗解释
- 热度 3
- 作者：张寅生 1 、广义递归函数家族 所谓的递归函数就是广义递归函数，其分类见表 1 ： 表1 递归函数的分类 递归函数（广义递归函数、一般递归函数， G ...
- 递归函数的历史和家族
- 热度 1
- 递归函数的历史和家族 作者：张寅生 图灵机是数字电子计算机的理论模型，但不是一个纯粹的数学模型，因为它有物理装置的描述，而不是纯粹数或数学结构的描述。 ...
- 希尔伯特第24个数学问题
- 希尔伯特第24个数学问题 作者 张寅生 希尔伯特的23个数学问题对于数学界广为人知。数学词典这样描述它： 1900 年，希尔伯特 * 在国际数学家大会上作了关于数学问题的演讲，提出了23个在各个数学 ...
- 希尔伯特梦后百年
- 热度 1
- 希尔伯特梦后百年 作者：张寅生 一、希尔伯特纲要 希尔伯特于1917年在苏黎世数学学会提出了数学公理化的主张。1922年。希尔伯特在汉堡的数学会议上提出了所谓的希尔伯特纲要。纲要的要点是： 数学可以完全形式化； 所以 ...
