类型：
成立时间：
出版社特色：
Dover Publications Inc.
出版社信息：
出版社简介：
暂无相关内容，正在全力查找中
The Undecidable书籍相关信息
- ISBN：9780486432281
- 作者：Davis, Martin (EDT)
- 出版社：Dover Publications Inc.
- 出版时间：2004-2
- 页数：413
- 价格：USD 24.95
- 纸张：暂无纸张
- 装帧：Paperback
- 开本：暂无开本
- 语言：暂无语言
- 适合人群：Academics, Students of Philosophy, Logic, and Mathematics, Computer Scientists, Historians of Science, and anyone interested in the foundations of knowledge and computation
- TAG：Philosophy / Mathematics / Logic / History of Science / Theory of Computation
- 豆瓣评分：暂无豆瓣评分
- 更新时间：2025-05-17 01:43:58
内容简介：
An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Godel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. 1965 edition.
全格式电子版 - 免费下载