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

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

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

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

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


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

售價：HK$ 105.3

我要買 件

share:

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

新書推薦：
人文传统一（“人文传统”系列丛书第七版，人文传统1：史前时期—中世纪，回溯人类文明的源头）
《 人文传统一（“人文传统”系列丛书第七版，人文传统1：史前时期—中世纪，回溯人类文明的源头） 》
售價：HK$ 140.8
西瓜船
《 西瓜船 》
售價：HK$ 54.9
轻松阅读：如何高效阅读一本书
《 轻松阅读：如何高效阅读一本书 》
售價：HK$ 65.8
左岸译丛：袜子的哲学
《 左岸译丛：袜子的哲学 》
售價：HK$ 52.8
全球对话主义（第二版）
《 全球对话主义（第二版） 》
售價：HK$ 107.8
思考，快与慢
《 思考，快与慢 》
售價：HK$ 107.8
集成式机器学习算法理论与应用
《 集成式机器学习算法理论与应用 》
售價：HK$ 108.9
宋以前医籍考
《 宋以前医籍考 》
售價：HK$ 286.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 - 2025 （香港）大書城有限公司　 All Rights Reserved.