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

2021-7-30 20:24

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

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

广义相对论时空计算

张寅生 2016-6-17 18:53

广义相对论时空计算.pdf

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

递归函数的通俗解释

热度 3 张寅生 2016-5-1 18:30

作者：张寅生 1 、广义递归函数家族 所谓的递归函数就是广义递归函数，其分类见表 1 ： 表1 递归函数的分类 递归函数（广义递归函数、一般递归函数， G ...

个人分类: 超数学|18322 次阅读|8 个评论 热度 3

递归函数的历史和家族

热度 1 张寅生 2016-4-17 09:43

递归函数的历史和家族 作者：张寅生 图灵机是数字电子计算机的理论模型，但不是一个纯粹的数学模型，因为它有物理装置的描述，而不是纯粹数或数学结构的描述。 ...

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

希尔伯特梦后百年

热度 1 张寅生 2016-4-13 19:00

希尔伯特梦后百年 作者：张寅生 一、希尔伯特纲要 希尔伯特于1917年在苏黎世数学学会提出了数学公理化的主张。1922年。希尔伯特在汉堡的数学会议上提出了所谓的希尔伯特纲要。纲要的要点是： 数学可以完全形式化； 所以 ...

个人分类: 超数学|8532 次阅读|1 个评论 热度 1

证明论的百年成就

热度 2 张寅生 2016-4-10 19:08

证明论系由希尔伯特创立，这在数学界是没有异议的。大致说来，证明论经过了百年。 那么，百年以来，证明论取得了哪些成就呢？ 中国大百科全书数学卷“证明论”条目认为证明论系希尔伯特创立，希尔伯特将“元数学（ Meta-mathematics ）”等同于“证明论”，这也是数学界普遍接受的观点，没 ...

个人分类: 超数学|8468 次阅读|3 个评论 热度 2

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