首页
读书
阅读
传说是天帝藏书的地方
首页
读书
学习教育
哥德尔不完全性定理
举报
书名
哥德尔不完全性定理
作者
雷蒙德 M. 斯穆里安
格式
PDF
ISBN书号
9787030596345
出版年
2019-1
出版社
科学出版社
页数
176
定价
78
标签
数理科学与化学
下载地址
诚通网盘 提取码:8866
豆瓣评论
更多
马蹄北去
虽说稍微进阶的数理逻辑教材都有哥德尔不完全性定理的内容,但这本还是有一些值得一说的特点的:一是清楚地分离了证明的“哲学”部分(自指,对角化,真与可证)和技术部分(编码方案和语法的算术化),可以更清楚地把握证明的结构;二是介绍了哥德尔的原始证明和罗瑟的改进,并且通过第二不完全性定理的证明讲了一些可证逻辑的内容;三是通过使用一些小技巧大大降低了证明的理解难度。缺点是定价太贵以及公式不用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)
猜你喜欢
图解伤寒论(白话彩插典藏版)
张仲景
抖音直播带货实操指南
尹晨
治大国若烹小鲜
吕德文
一本书读懂不良资产
石佳华
ASP.NET Core技术内幕与项目实战
杨中科
胡思乱想消除指南
[澳] 萨拉·埃德尔曼
MongoDB实战
[美] Kyle Banker
深度疗愈
蔡茜
趣学贝叶斯统计
[美] 威尔·库尔特(Will Kurt)
大辞泉
松村 明
有解:高效解决问题的关键7步
奉湘宁
静悄悄的革命
佐藤学
愿你慢慢长大
刘瑜 周国平 等
分手心理学
曹雪敏
大家都喜欢
乡下人的悲歌
J.D. 万斯
642件可写的事
美国旧金山写作社
人间快递1
漫漫漫画 著
我胆小如鼠
余华
悉达多
[德] 赫尔曼·黑塞
黄房子
申维
絕望者之歌
杰德・凡斯
太阳系简史
[英] 约翰·钱伯斯,[英] 杰奎琳· 米顿
不便利的便利店
浩然
剑来(1-35册)出版精校版
烽火戏诸侯
Modern CMake for C++: Discover a better approach to building, testing and packaging your software
Rafal Swidzinski
暮色将尽
戴安娜・阿西尔
怪屋谜案
[日] 雨穴
鼠疫(果麦经典)
阿尔贝・加缪
豆瓣评论