不可决策的问题/The undecidable 夸克云 docx snb kindle pdf 网盘 azw3 下载

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

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

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

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

在线阅读地址：不可决策的问题/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 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.