登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2025年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書

『簡體書』哥德尔不完全性定理

書城自編碼： 3301578
分類：簡體書→大陸圖書→哲學/宗教→哲學
作者： [美]雷蒙德 M.，斯穆里安 著，余俊伟 译
國際書號(ISBN)： 9787030596345
出版社： 科学出版社
出版日期： 2019-01-01


書度/開本： 16开 釘裝： 平装

售價：HK$ 105.3

我要買 件

** 我創建的書架 **
未登入.


新書推薦：
含混的哲思——梅洛－庞蒂·杨大春讲梅洛－庞蒂[修订本合集]
《 含混的哲思——梅洛－庞蒂·杨大春讲梅洛－庞蒂[修订本合集] 》
售價：HK$ 184.8
财务炼金术：AI时代从财务小白到超级个体的成长手册
《 财务炼金术：AI时代从财务小白到超级个体的成长手册 》
售價：HK$ 97.9
粤港澳大湾区的创新创业故事
《 粤港澳大湾区的创新创业故事 》
售價：HK$ 96.8
高性能计算算法引擎：线性代数与异构计算的融合
《 高性能计算算法引擎：线性代数与异构计算的融合 》
售價：HK$ 109.8
对话中的文体：柏拉图与哲学的形成（不理解柏拉图如何写作，就无法真正理解他的哲学）
《 对话中的文体：柏拉图与哲学的形成（不理解柏拉图如何写作，就无法真正理解他的哲学） 》
售價：HK$ 85.8
当疾病来敲门：病人、家属和治疗师是如何一起应对疾病的
《 当疾病来敲门：病人、家属和治疗师是如何一起应对疾病的 》
售價：HK$ 109.8
新编老老恒言：传承千年的健康智慧（共两册）
《 新编老老恒言：传承千年的健康智慧（共两册） 》
售價：HK$ 85.8
建筑的智慧视界
《 建筑的智慧视界 》
售價：HK$ 140.8

建議一齊購買：

+

HK$ 52.7
《数学不简单 从《最强大脑》发现思维乐趣》		 +

HK$ 52.7
《数学写真集（第4季） 直观思考的进阶》		 +

HK$ 79.7
《量子世界的发现之旅》		 +

HK$ 118.8
《化学之书》		 +

HK$ 64.8
《黎曼几何》		 +

HK$ 65.0
《量子时代》
內容簡介：
本书主要介绍哥德尔不完全性定理，在用简单例子解说哥德尔的本质思想的基础上，证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理，给出了基于—致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明，结合典型逻辑谜题与证明结果，表明了证明结果与模态逻辑的紧密联系。

 

 

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2026 （香港）大書城有限公司　 All Rights Reserved.