科学网—zhangbeijing的博文 - 第2页

设为首页收藏本站

开启辅助访问切换到宽版

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

zhangbeijing

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

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

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

证明论的百年成就: 热度 2 张寅生 2016-4-10 19:08; 证明论系由希尔伯特创立，这在数学界是没有异议的。大致说来，证明论经过了百年。那么，百年以来，证明论取得了哪些成就呢？中国大百科全书数学卷“证明论”条目认为证明论系希尔伯特创立，希尔伯特将“元数学（ Meta-mathematics ）”等同于“证明论”，这也是数学界普遍接受的观点，没 ...; 个人分类: 超数学|8470 次阅读|3 个评论热度 2

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

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

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

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

《证明方法与理论》内容简介: 热度 2 张寅生 2016-4-9 19:21; 张寅生著《证明方法与理论》已于2015年11月由国防工业出版社出版。该专著阐述数学证明的基本原理，主要包括证明方法和证明理论，是探讨证明方法和证明理论内在联系和本质特征的数学专著。 “证明方法”集成了常见或具有重要影响并具有逻辑独立性和形式化特征的数学证明方法，分别给出了这些方法的表示 ...; 个人分类: 超数学|5861 次阅读|2 个评论热度 2

会议

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

GMT+8, 2024-4-25 14:14

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部