Amsterdam: North-Holland Pub. Co. (1968)
This book is well known for its proof that many mathematical systems - including lattice theory and closure algebras - are undecidable. It consists of three treatises from one of the greatest logicians of all time: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups."
|Categories||categorize this paper)|
|Buy the book||$7.95 used (54% off) $9.93 new (42% off) $15.40 direct from Amazon (10% off) Amazon page|
|Call number||QA9.T33 1968|
References found in this work BETA
No references found.
Citations of this work BETA
A Comparison of the Meaning and Uses of Models in Mathematics and the Empirical Sciences.Patrick Suppes - 1960 - Synthese 12 (2-3):287--301.
The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359 - 374.
Pairs, Sets and Sequences in First-Order Theories.Albert Visser - 2008 - Archive for Mathematical Logic 47 (4):299-326.
Similar books and articles
Wittgenstein as His Own Worst Enemy: The Case of Gödel's Theorem.Mark Steiner - 2001 - Philosophia Mathematica 9 (3):257-279.
Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel.Andrzej Mostowski - 1952 - Greenwood Press.
The Τ-Theory for Free Groups is Undecidable.Libo Lo - 1983 - Journal of Symbolic Logic 48 (3):700-703.
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions.Martin Davis (ed.) - 1965 - Dover Publication.
Limited Ink : Interpreting and Misinterpreting GÜdel's Incompleteness Theorem in Legal Theory.Karen Crawley - unknown
Some Results on Measure Independent Gödel Speed-Ups.Martin K. Solomon - 1978 - Journal of Symbolic Logic 43 (4):667-672.
Added to index2009-09-15
Total downloads21 ( #232,496 of 2,153,830 )
Recent downloads (6 months)5 ( #162,587 of 2,153,830 )
How can I increase my downloads?