科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
置顶 · 欧拉特称量词模型的改进
2021-7-30 20:24
一阶逻辑有两个基本量词:全称量词和存在量词 。 后者被解释为特称量词 的发展,其中的一个解释模型是欧拉图模型。 这一解释被质疑多年,具有不完备性,并与现代(莱布尼茨之后)的存在量词语义不一致,这使得逻辑史家“ 百思不得其解 ”。 如 Keith Stenning, Michiel Van Lambalgen 问道: “How could a ...
个人分类: 超数学|1293 次阅读|没有评论
广义相对论时空计算
张寅生 2016-6-17 18:53
广义相对论时空计算.pdf
个人分类: 广义相对论|3159 次阅读|没有评论
递归函数的通俗解释
热度 3 张寅生 2016-5-1 18:30
作者:张寅生 1 、广义递归函数家族 所谓的递归函数就是广义递归函数,其分类见表 1 : 表1 递归函数的分类 递归函数(广义递归函数、一般递归函数, G ...
个人分类: 超数学|15226 次阅读|8 个评论 热度 3
递归函数的历史和家族
热度 1 张寅生 2016-4-17 09:43
递归函数的历史和家族 作者:张寅生 图灵机是数字电子计算机的理论模型,但不是一个纯粹的数学模型,因为它有物理装置的描述,而不是纯粹数或数学结构的描述。 ...
个人分类: 超数学|6363 次阅读|4 个评论 热度 1
希尔伯特梦后百年
热度 1 张寅生 2016-4-13 19:00
希尔伯特梦后百年 作者:张寅生 一、希尔伯特纲要 希尔伯特于1917年在苏黎世数学学会提出了数学公理化的主张。1922年。希尔伯特在汉堡的数学会议上提出了所谓的希尔伯特纲要。纲要的要点是: 数学可以完全形式化; 所以 ...
个人分类: 超数学|7392 次阅读|1 个评论 热度 1
证明论的百年成就
热度 2 张寅生 2016-4-10 19:08
证明论系由希尔伯特创立,这在数学界是没有异议的。大致说来,证明论经过了百年。 那么,百年以来,证明论取得了哪些成就呢? 中国大百科全书数学卷“证明论”条目认为证明论系希尔伯特创立,希尔伯特将“元数学( Meta-mathematics )”等同于“证明论”,这也是数学界普遍接受的观点,没 ...
个人分类: 超数学|7353 次阅读|3 个评论 热度 2

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

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

GMT+8, 2022-9-27 03:14

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部