哥德尔证明（Goedel's Proof）

Main
Mathematics - Logic
哥德尔证明（Goedel's Proof）

哥德尔证明（Goedel's Proof）

内格尔（Ernest Nagel），纽曼（James R. Newman）

5.0 / 5.0

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

الفئات:

Mathematics - Logic

عام:

2008

اللغة:

chinese

الصفحات:

144

ISBN 10:

7300088902

ISBN 13:

9787300088907

ملف:

PDF, 5.47 MB

IPFS:

,

chinese, 2008

إقرأ علي الإنترنت

تحميل (pdf, 5.47 MB)

جاري التحويل إلى

التحويل إلى باء بالفشل

قد تكون في قائمة إهتماماتك

张锦文 — 数学丛书.-. 现代数学基础丛书 . 公理集合论导引

（德）莱辛著 — 拉奥孔

[德]克莱因 — 高观点下的初等数学.1-3卷合编加目录.[德]克莱因.复旦大学出版社

波利亚 — 数学与猜想

A.G.汉密尔顿朱水林译 — 数理逻辑

[德]希尔伯特 — 希尔伯特几何基础

[英]马特·里德利; 刘菁(译) — 基因组：人种自传23章

[美]M·克莱因; 李宏魁(译) — 数学：确定性的丧失

[美]索尔·克里普克; 梅文(译) — 命名与必然性

[美]康斯坦丝·瑞德; 袁向东(译); 李文林(译) — 希尔伯特：数学世界的亚历山大

[英]西蒙·辛格; 薛密(译) — [世纪人文系列·开放人文]费马大定理：一个困惑了世间智者358年的谜

[美]卡尔·齐默; Carl Zimmer; 唐嘉慧(译) — 演化：跨越40亿年的生命记录

[美]保罗·贝纳塞拉夫(编); 希拉里·普特南(编) ;朱水林等(译) — 数学哲学

[美]莫里斯·克莱因; 张祖贵(译) — 西方文化中的数学

王浩 — 数理逻辑通俗讲话

金观涛、华国凡 — 控制论与科学方法论

布勒斯，George S. Boolos — 可计算性与数理逻辑

Morris W. Hirsch, Stephen Smale, Rober L. Deveney, 甘少波译 — 微分方程、动力系统与混沌导论

Wilson J. Rugh — Linear System Theory.

Hao Wang — A Logical Journey: From Gödel to Philosophy [= Goedel]

Rebecca Goldstein — Incompleteness - The Proof and Paradox of Kurt Gödel [= Goedel]

维特根斯坦著；陈启伟译 — 逻辑哲学论中英文对照

Ernest Nagel, James R. Newman, Douglas R. Hofstadter — Goedel's Proof (Revised Edition 2001)

朱华伟 — 从数学竞赛到竞赛数学

冯琦 — 数理逻辑导引

【德】艾格纳【德】齐格勒 — 数学天书中的证明

〔美〕侯世达 — 哥德尔、艾舍尔、巴赫——集异璧之大成

石里克 — 普通认识论

[英]伯特兰·罗素; 苑莉均(译) — 罗素文集（第10卷）逻辑与知识（1901-1950年论文集）

[英]伯特兰·罗素; 晏成书(译) — 罗素文集（第3卷）数理哲学导论

[美]戴维·乔治·哈斯凯尔 [[美]戴维·乔治·哈斯凯尔] — 看不见的森林：林中自然笔记

（美）南茜·罗斯·胡格著 — 怎样观察一棵树：探寻常见树木的非凡秘密

胡思 — 面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理

William Dunham [William Dunham] — 天才引导的历程：数学中的伟大定理

[美] 布赖恩·格林 ; 李剑龙(译); 权伟龙(译); 田苗 (译) — 隐藏的现实：平行宇宙是什么

[日]结城浩 — 数学女孩

结城浩 — 数学女孩2: 费马大定理

[日] 结城浩 — 数学女孩3: 哥德尔不完备定理

（日）小平邦彦尤斌斌译 — 惰者集:数感与数学

结城浩 — 数学女孩4: 随机算法

戈弗雷•哈代 — 纯数学教程（第9版）

结城浩 — 数学女孩5：伽罗瓦理论

قوائم الكتب ذات الصلة