论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 科教文艺期刊 \
- 教育期刊 \
- 语数外学习：数学教育期刊 \
哥德尔不完备性定理及其证明
推荐文章
哥德巴赫猜想简要证明与哥德尔计算机
偶数
素数
报废率
哥德尔计算机
形式本体论
哥德巴赫猜想简要证明与哥德尔计算机
偶数
素数
报废率
哥德尔计算机
形式本体论
基于哥德尔β函数的数据加密
数据加密
哥德尔β函数
加密流程
背景格的若干性质及其完备性证明
概念图
背景
背景格
知识表示
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 哥德尔不完备性定理及其证明 | ||
| 来源期刊 | 语数外学习：数学教育 | 学科 | 教育 |
| 关键词 | 公理系统 希尔伯特 欧几里得几何 符号序列 公理化 形式符号 完备性 基本思路 | ||
| 年，卷（期） | 2020,（3） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 60-61 | |
| 页数 | 2页 | 分类号 | G634.6 |
| 字数 | 语种 | 中文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2020(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
公理系统
希尔伯特
欧几里得几何
符号序列
公理化
形式符号
完备性
基本思路
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
语数外学习：数学教育2020
语数外学习：数学教育2019
语数外学习：数学教育2018
语数外学习：数学教育2017
语数外学习：数学教育2016
语数外学习：数学教育2015
语数外学习：数学教育2014
语数外学习：数学教育2013
语数外学习：数学教育2012
语数外学习：数学教育2011
语数外学习：数学教育2020年第8期
语数外学习：数学教育2020年第7期
语数外学习：数学教育2020年第6期
语数外学习：数学教育2020年第5期
语数外学习：数学教育2020年第4期
语数外学习：数学教育2020年第3期
语数外学习：数学教育2020年第2期
语数外学习：数学教育2020年第1期
