Davis, Martin
The Undecidable: Basic Papers on Undecidable Propostions, Unsolvable Problems and Computable Functions
- ISBN 13:
- 9780486432281
- author:
- Davis, Martin
- format:
- Paperback
- publisher:
- Dover Publications Inc.
- language:
- English
- Publication Year:
- 2004
- Pages:
- 416
- Dimensions:
- 164 mm X 233 mm
- Genre:
- Mathematics
- Condition:
- New
- Availability:
- Item usually sent within 7 working days
Description
The Undecidable Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions by Martin Davis. This collection of fundamental papers explores the concept of undecidability in mathematics, revealing that certain systems of logic cannot admit proofs for all true assertions. The works of Gödel, Church, Turing, and Post are presented here, shedding light on the class of recursive functions as computable by finite algorithms. The papers included in this anthology represent a pivotal moment in the development of mathematical logic, providing insight into the limitations of computation and the nature of truth. This book is an essential resource for anyone interested in the foundations of mathematics and computer science.
Related Products
Related Products
Unsolved Problems in Ecology
Dobson, Andrew
The Music of the Primes: Why an Unsolved Problem in Mathematics Matters
Sautoy, Marcus du
Real Lean: Unsolved Problems in Lean Management (Volume Six)
Emiliani, Bob
Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics
Derbyshire, John
The Millennium Problems: The Seven Greatest Unsolved Mathematical Puzzles of Our Time
Keith J. Devlin