Undecidable

Basic Papers on Undecidable Propostions, Unsolvable Problems and Computable Functions

By: MARTIN DAVIS

Write A Review

Paperback | 18 February 2004

At a Glance

Paperback
416 Pages

Dimensions(cm)
23.5 x 15.5 x 2.54

Paperback

RRP $36.25

$34.75

or 4 interest-free payments of $8.69 with

Ships in 5 to 7 business days

"A valuable collection both for original source material as well as historical formulations of current problems." — The Review of Metaphysics
"Much more than a mere collection of papers. A valuable addition to the literature." — Mathematics of Computation
An anthology of fundamental papers on undecidability and unsolvability by major figures in the field , this classic reference is ideally suited as a text for graduate and undergraduate courses in logic, philosophy, and foundations of mathematics. It is also appropriate for self-study.
The text 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. Additional papers by Church, Turing, and Post cover unsolvable problems from the theory of abstract computing machines, mathematical logic, and algebra, and material by Kleene and Post includes initiation of the classification theory of unsolvable problems.
Supplementary items include corrections, emendations, and added commentaries by Godel, Church, and Kleene for this volume's original publication, along with a helpful commentary by the editor.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic

On Formally Undecidable Propositions of the Principia Mathematica and Related Systems. I	p. 4
On Undecidable Propositions of Formal Mathematical Systems	p. 39
On Intuitionistic Arithmetic and Number Theory	p. 75
On the Length of Proofs	p. 82
Remarks Before the Princeton Bicentennial Conference on Problems in Mathematics	p. 84
An Unsolvable Problem of Elementary Number Theory	p. 88
A Note on the Entscheidungsproblem	p. 108
On Computable Numbers, with an Application to the Entscheidungsproblem	p. 115
Systems of Logic Based on Ordinals	p. 154
An Informal Exposition of Proofs of Godel's Theorem and Church's Theorem	p. 223
Extensions of Some Theorems of Godel and Church	p. 230
General Recursive Functions of Natural Numbers	p. 236
Recursive Predicates and Quantifiers	p. 254
Finite Combinatory Processes. Formulation I	p. 288
Recursive Unsolvability of a Problem of Thue	p. 292
Recursively Enumerable Sets of Positive Integers and Their Decision Problems	p. 304
Absolutely Unsolvable Problems and Relatively Undecidable Propositions- Account of an Anticipation	p. 338
Index	p. 434
Table of Contents provided by Rittenhouse. All Rights Reserved.

Undecidable

Basic Papers on Undecidable Propostions, Unsolvable Problems and Computable Functions

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematics

Nelson Senior Maths 11 Mathematics Essential Student Book with 1 Access Code for the Australian Curriculum

The Infinite Game

From the bestselling author of Start With Why

Nelson WAmaths Mathematics Applications

11th Edition

The Art of Gathering

How We Meet and Why It Matters

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Nelson VicMaths 12 Foundation Maths

1st Edition

Oxford Maths for Australian Schools Year 3 Value Pack

3rd Edition

Oxford Maths for Australian Schools Year 4 Value Pack

3rd Edition

Oxford Maths for Australian Schools Year 6 Value Pack

3rd Edition

How to Win At Chess

The Ultimate Guide for Beginners and Beyond

Nelson WAmaths Mathematics Methods

11th Edition

The Mending of Broken Bones

A Modern Guide to Classical Algebra

Grade 4 Word Problems

Kumon Math Workbooks

Grade 4 Geometry and Measurement

Kumon Math Workbooks

Grade 3 Geometry and Measurement

Fooled By Randomness

The Hidden Role of Chance in Life and in the Markets

Nelson Senior Maths 12 Mathematics Essential Student Book + 1 Code Access Card for Western Australia and Australian Curriculum

Maths in Focus 11 Mathematics Extension 1 Student Book with Nelson MindTap

Oxford Maths for Australian Schools Value Pack Year 5

Oxford Maths

Jacaranda Maths Quest 11 Mathematical Methods Units 1 and 2 for Queensland, 2e learnON & Print

The Selfish Gene

40th Anniversary Edition

Antifragile

Things That Gain from Disorder

A First Graduate Course in Quantum Field Theory

For Doctoral Level Physics

Algebra Workbook Grades 6-8

Algebra

This product is categorised by