您现在的位置：快乐比价网 > 图书 > 经济管理 > 理财 > 商品详情

不可决策的问题/The undecidable

分享到：

最低价：￥180.40

定价：￥225.55

作者：MartinDavis　著著

出版社：Oversea Publishing House

出版时间：2004-2-1

I S B N：9780486432281

价格比较

商品详情

商品评论(0条)

不可决策的问题/The undecidable

送货上门

价格
180.40元

商品详情

编辑推荐

内容简介

An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Gödel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Gödel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. 1965 edition.

作者简介

KURT GODEL
On Formally Undecidable Propositions of the Principia Mathematica and Related Systems. I
On Undecidable Propositions of Formal Mathematical Systems
On Intuitionistic Arithmetic and Number Theory
On the Length of Proofs
Remarks Before the Princeton Bicentennial
Conference on Problems in Mathematics
ALONZO CHURCH
An Unsolvable Problem of Elementary Number Theory
A Note on the Entscheidungsproblem
ALAN M. TURING
On Computable Numbers, with an Application to the Entscheidungsproblem
Systems of Logic Based on Ordinals
J.B. ROSSER
An Informal Exposition of Proofs of G6del's Theorem and Church's Theorem
Extensions of Some Theorems of Godel and Church
STEPHEN C. KLEENE
General Recursive Functions of Natural Numbers
Recursive Predicates and Quantifiers
EMIL POST
Finite Combinatory Processes. Formulation I
Recursive Unsolvability of a Problem of Thue
Recursively Enumerable Sets of Positive Integers and Their Decision Problems
Absolutely Unsolvable Problems and Relatively Undecidable Propositions- Account of an Anticipation
Index