The Scope of Gödel’s First Incompleteness Theorem

范围(计算机科学) 数学 数理经济学 离散数学 牙石(牙科) 计算机科学 医学 程序设计语言 牙科
作者
Bernd Buldt
出处
期刊:Logica Universalis [Birkhäuser]
卷期号:8 (3-4): 499-552 被引量:9
标识
DOI:10.1007/s11787-014-0107-3
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
XHH1994完成签到,获得积分10
1秒前
Vanessa完成签到,获得积分10
1秒前
至幸发布了新的文献求助10
1秒前
win发布了新的文献求助50
3秒前
xin完成签到,获得积分10
4秒前
天天快乐应助baymin采纳,获得10
4秒前
Zzzz发布了新的文献求助10
6秒前
科研通AI6.3应助zhizhi采纳,获得10
7秒前
王一完成签到,获得积分10
8秒前
Haoru_Lu应助雪山飞龙采纳,获得10
9秒前
13秒前
恋空完成签到 ,获得积分10
13秒前
14秒前
举個栗子完成签到,获得积分10
15秒前
棉花完成签到 ,获得积分10
16秒前
16秒前
斯文钢笔应助韦一手采纳,获得10
17秒前
充电宝应助Empty采纳,获得10
18秒前
18秒前
上官若男应助缪缪采纳,获得10
18秒前
yu发布了新的文献求助10
19秒前
Richin发布了新的文献求助10
20秒前
脑洞疼应助kiddo采纳,获得10
21秒前
无花果应助安静的眼神采纳,获得10
22秒前
22秒前
22秒前
科研通AI6.3应助友人A采纳,获得10
23秒前
liangjiangbo完成签到,获得积分10
23秒前
Zzzz发布了新的文献求助10
23秒前
香蕉觅云应助crethy采纳,获得10
24秒前
汪汪完成签到,获得积分20
25秒前
25秒前
26秒前
guixun完成签到,获得积分10
26秒前
秦晓伟完成签到 ,获得积分10
29秒前
29秒前
everglow发布了新的文献求助10
30秒前
芋泥泥泥完成签到,获得积分10
30秒前
十一发布了新的文献求助10
31秒前
小卡完成签到,获得积分10
31秒前
高分求助中
Principles of Economics, 11th Edition 10000
University Physics with Modern Physics, 16th edition 10000
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Arthritis and Related Conditions, An Issue of Orthopedic Clinics 1000
Development of a Bridge Weigh-In-Motion System: A technology to convert the bridge response to the passage of traffic into data on vehicle configurations, speeds, times of travel and weights 1000
ズームレンズの光学設計に関する研究 800
Fundamentals of Pharmaceutical and Biologics Regulations: A Global Perspective, Second Edition 700
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 内科学 物理 复合材料 催化作用 细胞生物学 无机化学 光电子学 物理化学 电极 基因
热门帖子
关注 科研通微信公众号,转发送积分 7287149
求助须知:如何正确求助?哪些是违规求助? 8907097
关于积分的说明 18850012
捐赠科研通 6956199
什么是DOI,文献DOI怎么找? 3208502
关于科研通互助平台的介绍 2378495
邀请新用户注册赠送积分活动 2184219