Graduate studies at Western
Amsterdam, North-Holland Pub. Co. (1968)
|Abstract||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||$6.78 new (48% off) $7.00 used (46% off) $9.58 direct from Amazon (27% off) Amazon page|
|Call number||QA9.T33 1968|
|Through your library||Configure|
Similar books and articles
Mark Steiner (2001). Wittgenstein as His Own Worst Enemy: The Case of Gödel's Theorem. Philosophia Mathematica 9 (3):257-279.
Andrzej Grzegorczyk (2005). Undecidability Without Arithmetization. Studia Logica 79 (2):163 - 230.
Andrzej Mostowski (1952/1982). Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel. Greenwood Press.
Libo Lo (1983). The Τ-Theory for Free Groups is Undecidable. Journal of Symbolic Logic 48 (3):700-703.
Martin Davis (ed.) (1965/2004). The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions. Dover Publication.
Karen Crawley, Limited Ink : Interpreting and Misinterpreting GÜdel's Incompleteness Theorem in Legal Theory.
Martin K. Solomon (1978). Some Results on Measure Independent Gödel Speed-Ups. Journal of Symbolic Logic 43 (4):667-672.
Justin Clarke-Doane (2013). What is Absolute Undecidability?†. Noûs 47 (3):467-481.
Raymond M. Smullyan (1992). Gödel's Incompleteness Theorems. Oxford University Press.
Added to index2009-09-15
Total downloads10 ( #114,693 of 749,171 )
Recent downloads (6 months)1 ( #62,995 of 749,171 )
How can I increase my downloads?