完备性定理

作品数：46被引量：47H指数：3
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：王国俊李立峰邹丽梁俊奇刘迪更多>>
相关机构：陕西师范大学西安邮电学院辽宁师范大学浙江大学更多>>
相关期刊：《太原师范学院学报（社会科学版）》《河南科学》《河北北方学院学报（自然科学版）》《数学教学》更多>>
相关基金：国家自然科学基金陕西省教育厅科研计划项目陕西省科学技术研究发展计划项目辽宁省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
哥德尔不完备定理的不可判定性
《数学学习与研究》2021年第18期152-153,共2页王海东 
如果将无意义对角化语句视为被证明的对角化语句,哥德尔不完备定理在一阶理论中就是成立的.如果将有意义对角化语句视为被证明的对角化语句,哥德尔不完备定理在一阶理论中就是不成立的.由于哥德尔不完备定理在一阶理论中既是成立的又是...
关键词：哥德尔不完备定理 哥德尔完备性定理 哥德尔对角化语句构造定理 
关于集合的基本定理
《佛山科学技术学院学报（自然科学版）》2019年第6期18-21,共4页李学东 
在集列极限的定义与运算和集列极限的基本性质基础上,对于一般集合列极限的基本性质进行了系统研究,揭示了集合列极限的内在规律,为集合列极限的进一步研究奠定坚实的理论基础。
关键词：完备性定理 致密性定理 区间套定理 
浅论数学分析中极限问题的存在性和若干求解方法被引量：1
《中国集体经济》2019年第20期72-75,共4页耿昕 
文章首先介绍六大实数集完备性定理以作为求取极限的基础,然后介绍一元函数求极限的方法,包括极限定义法、极限的四则运算、函数迫敛性、两个重要极限、单调有界原理、洛必达法则、泰勒公式,重点在于对它们互相进行对比,找出它们各自的...
关键词：实数集完备性定理 极限 一元函数 
基于复合模态词模态逻辑的大数据知识表示方法及其在水文信息中应用
《南昌工程学院学报》2019年第3期77-84,共8页邓少波 关素洁 王磊 黎敏 
江西省科技厅项目(20161BBE50051,20161BBE50050);江西省教育厅科学技术研究项目(GJJ161109,GJJ151126);国家自然基金资助项目(61363047,61562061)
针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其语言、语法与语义,证明该逻辑在一般可达关系下的公理系统K2的可靠性定理与完备性定理,并结合水文信息给...
关键词：模态逻辑 大数据 水文信息 可靠性定理 完备性定理 
计算的极限(六):到达“无穷”的彼岸
《语数外学习（高中版）（中）》2018年第10期55-62,共8页
计算无处不在.走进一个机房,在服务器排成的一道道墙之间,听着风扇的鼓噪,似乎能嗅出0和1在CPU和内存之间不间断的流动.从算筹算盘,到今天的计算机,我们用作计算的工具终于开始量到质的飞跃.计算机能做的事情越来越多,甚至超越了它们的...
关键词：哥德尔 数学家 康托尔 自然数 公理集合论 完备性定理 数学界 数学体系 圆锥曲线 
计算的极限计算的极限(五):无法走出的困境
《语数外学习（高中版）（上）》2018年第10期58-63,共6页
计算无处不在.走进一个机房,在服务器排成的一道道墙之间,听着风扇的鼓噪,似乎能嗅出0和1在CPU和内存之间不间断的流动.从算筹算盘,到今天的计算机,我们用作计算的工具终于开始量到质的飞跃.计算机能做的事情越来越多,甚至超越了它们的...
关键词：公理系统 数学系统 完备性定理 图灵机 数学家 哥德尔 普林斯顿大学 
计算的极限(零):逻辑与图灵机
《语数外学习（高中版）（上）》2018年第8期60-64,共5页
计算无处不在。走进一个机房,在服务器排成的一道道墙之间,听着风扇的鼓噪,你就似乎能嗅出0和1在CPU和内存之间不间断地流动。从算筹算盘,到今天的计算机,我们用作计算的工具终于有了量到质的飞跃。计算机能做的事情越来越多,甚至超越...
关键词：数学界 图灵机 希尔伯特 笔算乘法 机械计算 读写头 数学系统 哥德尔 完备性定理 一阶谓词演算 
希尔伯特之梦以及梦的破灭
《语数外学习（高中版）（中）》2018年第4期58-62,共5页
希尔伯特计划希尔伯特是一位名副其实的数学大师,有人将他称为'数学界最后一位全才',他看待数学的眼光也是相当深刻的。希尔伯特师从林德曼,23岁时便以一篇关于不变量理论的论文跻身数学界。他的证明方法在当时相当具有争议性。在这篇...
关键词：希尔伯特 策梅洛 弗兰克 哥德尔 数学家 数学命题 完备性定理 连续统假设 算术系统 数学系统 数学归纳法 
美国中西部数学哲学讨论会
《中国哲学年鉴》2017年第1期575-575,共1页王凯宁 
2016年11月12—13日在美国圣母大学(Notre Dame University)举办。该会议汇集了美国中西部著名高校和研究机构的50余名专家和学者,主要围绕数学与逻辑的关系(经典逻辑与直觉逻辑的对抗、数学逻辑主义中新逻辑主义的发展及困境)、数学模...
关键词：山西大学 完备性定理 数学定理 美国中西部 数学实践 数学哲学 逻辑主义 数理逻辑 
划时代的里程碑——哥德尔的不完备性定理
《语数外学习（高中版）（下）》2017年第2期59-60,共2页
在科学界有一些问题,当你由已知条件不可能证明其结论正确或是不正确,就被称为'悖论'问题。早在公元前的四百多年,古希腊埃利亚学派巴门尼德的门徒芝诺,就曾经提出过'飞着的箭是静止的'等四个悖论来反对赫拉克利特的流动说,以维护自己...
关键词：哥德尔 数学家 集合论悖论 完备性定理 哥德尔定理 划时代 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部