The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions

...
Author:  Martin Davis

87 downloads 982 Views 4MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

0 About this document G¨odel’s famous proof [2, 1] is highly interesting, but may be hard to understand. Some of this ...

On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth Alfred Tarski The Journal of Symbolic Lo...

On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth Alfred Tarski The Journal of Symbolic Lo...

299 Notre Dame Journal of Formal Logic Volume XIX, Number 2, April 1978 NDJFAM ON PROPOSITIONS W. D. HART and COLIN McG...