首页
读书
阅读
首页
读书
学习教育
哥德尔不完全性定理
反馈
书名
哥德尔不完全性定理
作者
雷蒙德 M. 斯穆里安
格式
PDF
ISBN书号
9787030596345
出版年
2019-1
出版社
科学出版社
页数
176
定价
78
标签
数理科学与化学
下载地址
下载哥德尔不完全性定理
豆瓣评论
更多
马蹄北去
虽说稍微进阶的数理逻辑教材都有哥德尔不完全性定理的内容,但这本还是有一些值得一说的特点的:一是清楚地分离了证明的“哲学”部分(自指,对角化,真与可证)和技术部分(编码方案和语法的算术化),可以更清楚地把握证明的结构;二是介绍了哥德尔的原始证明和罗瑟的改进,并且通过第二不完全性定理的证明讲了一些可证逻辑的内容;三是通过使用一些小技巧大大降低了证明的理解难度。缺点是定价太贵以及公式不用LaTex排版看着有点难受。复旦的那本《数理逻辑》和这本的结构较为相似,但严谨程度更高,可参照阅读;可证逻辑在Boolos的《可计算性与数理逻辑》第27章有专题介绍
03-10
标签推荐
更多
文学
(7254)
历史
(4068)
小说
(3717)
哲学
(2341)
地理
(1918)
宗教
(1723)
经济
(1631)
政治
(1438)
法律
(1171)
科普
(1113)
工业技术
(1103)
文化
(1044)
科学
(1030)
艺术
(1003)
日本
(938)
教育
(813)
管理
(721)
社会
(682)
体育
(671)
经典
(563)
思想
(555)
推理
(544)
社会科学总论
(482)
医药
(477)
卫生
(476)
传记
(470)
心理
(450)
商业
(448)
励志
(432)
投资
(425)
美国
(424)
思维
(423)
悬疑
(421)
金融
(412)
随笔
(410)
中国
(340)
旅行
(316)
数理科学与化学
(316)
绘本
(313)
科幻
(309)
中国语言文学
(302)
语言
(294)
理学
(289)
文字
(275)
中国古代文学
(273)
漫画
(272)
中国现当代文学
(271)
外国语言文学
(271)
建筑
(266)
成长
(250)
军事
(245)
纪实
(237)
生物学
(233)
美食
(231)
英国
(229)
互联网
(225)
天文学
(218)
游记
(214)
心理学
(196)
生物科学
(195)
散文
(187)
工学
(170)
职场
(168)
历史学
(160)
生活
(158)
社会学
(155)
医学
(151)
法国
(150)
营销
(148)
编程
(142)
女性
(139)
法学
(137)
地球科学
(136)
设计
(130)
二战
(126)
战争
(126)
学习
(126)
股票
(121)
奇幻
(119)
物理
(115)
世界
(113)
德国
(111)
人文
(109)
理财
(106)
创业
(106)
欧洲
(104)
经济学
(101)
人物
(100)
健康
(93)
沟通
(88)
自然
(87)
治愈
(86)
宇宙
(85)
艺术学
(85)
数学
(84)
名著
(84)
生物
(83)
爱情
(81)
计算机科学与技术
(80)
国学
(78)
猜你喜欢
物联网工程设计与实施
弗洛伊德的躺椅
(瑞典)艾琳·马西斯//伊姆雷·塞奇奥迪
量纲理论与应用
梁灿彬
气功治疗疑难杂症
交响乐总谱读法
安诺索夫
粉末衍射法测定晶体结构(套装上下册)
梁敬魁
朝鲜初期与明朝政治关系演变研究
郑红英
心理的伤,身体知道
【美】露易丝·海
生死之間
多洛莉丝·坎南
数列与数学归纳法-高中卷-6-第二版
冯志刚
新概念英语语法练习
何其莘 编
超越自由
章立源
网络安全态势感知
伤寒论诠解
刘渡舟
精神分析视野下的边缘性人格障碍
林万贵
数学动力学模型
葛颢
大家都喜欢
黑圈
(美) 杰夫·洛夫
置身事内
兰小欢
庄子浅注
曹础基 译注
伊豆的舞女
川端康成
丰田传
野地秩嘉
格特露德
赫尔曼·黑塞
疫苗的故事
保罗•奥菲特
以生命的名义:弗洛姆谈话录
艾里希•弗洛姆
十万个为什么
[苏联] 米·伊林
天才程序员
克莱夫·汤普森
发现你的管理优势
伊查克・爱迪思
英雄与恶徒
安吉拉·卡特
这个历史挺靠谱(全三册)
袁腾飞
狗与狼
[法]伊莱娜·内米洛夫斯基
八次危机
温铁军
跟道德经学领导力
吴强
豆瓣评论