不可决策的问题/The undecidable 阿里云 lit azw3 txt pdf caj 下载 在线

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

KURT GODEL

On Formally Undecidable Propositi*** of the Principia Mathematica and Related Systems. I

On Undecidable Propositi*** 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

Extensi*** of Some Theorems of Godel and Church

STEPHEN C. KLEENE

General Recursive Functi*** 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 Propositi***- Account of an Anticipation

Index

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：不可决策的问题/The undecidable在线阅读

在线听书地址：不可决策的问题/The undecidable在线收听

在线购买地址：不可决策的问题/The undecidable在线购买

暂无原文赏析，正在全力查找中！

书籍介绍

An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Godel's landmark 1931 paper dem***trating that systems of logic cannot admit proofs of all true asserti*** of arithmetic. Subsequent papers by Godel, Church, Turing, and Post single out the class of recursive functi*** as computable by finite algorithms. 1965 edition.