Gödel's theorem : an incomplete guide to its use and abuse /
| Main Author: | Franzén, Torkel |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Wellesley, Mass. :
A.K. Peters,
[2005]
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Gödel's theorem : an incomplete guide to its use and abuse /
by: Franzén, Torkel
Published: (2005)
by: Franzén, Torkel
Published: (2005)
Gödel's theorem : an incomplete guide to its use and abuse /
by: Franzén, Torkel
Published: (2005)
by: Franzén, Torkel
Published: (2005)
Godel's theorem : an incomplete guide to its use and abuse /
by: Franzen, Torkel
Published: (2005)
by: Franzen, Torkel
Published: (2005)
Gödel's incompleteness theorem /
by: Uspenskiĭ, V. A. (Vladimir Andreevich)
Published: (1987)
by: Uspenskiĭ, V. A. (Vladimir Andreevich)
Published: (1987)
There's something about Gödel : the complete guide to the incompleteness theorem /
by: Berto, Francesco
Published: (2009)
by: Berto, Francesco
Published: (2009)
Gödel's incompleteness theorems /
by: Smullyan, Raymond M.
Published: (2020)
by: Smullyan, Raymond M.
Published: (2020)
Mechanism, mentalism, and metamathematics : an essay on finitism /
by: Webb, Judson Chambers, 1936-
Published: (1980)
by: Webb, Judson Chambers, 1936-
Published: (1980)
Thinking about Gödel and Turing : essays on complexity, 1970-2007 /
by: Chaitin, Gregory J.
Published: (2007)
by: Chaitin, Gregory J.
Published: (2007)
Gödel's incompleteness theorems /
by: Smullyan, Raymond M.
Published: (1992)
by: Smullyan, Raymond M.
Published: (1992)
Godel's theorem in focus /
Published: (1988)
Published: (1988)
Godel's theorem simplified /
by: Gensler, Harry J., 1945-
Published: (1984)
by: Gensler, Harry J., 1945-
Published: (1984)
Gödel's proof /
by: Nagel, Ernest, 1901-1985
Published: (2001)
by: Nagel, Ernest, 1901-1985
Published: (2001)
Formal number theory and computability : a workbook /
by: Fisher, Alec
Published: (1982)
by: Fisher, Alec
Published: (1982)
Metamathematics, machines, and Gödel's proof /
by: Shankar, N. (Natarajan)
Published: (1994)
by: Shankar, N. (Natarajan)
Published: (1994)
Gödel's way : exploits into an undecidable world /
by: Chaitin, Gregory J.
Published: (2012)
by: Chaitin, Gregory J.
Published: (2012)
Inexhaustibility : a non-exhaustive treatment /
by: Franzén, Torkel
Published: (2004)
by: Franzén, Torkel
Published: (2004)
Aspects of incompleteness /
by: Lindström, Per, 1936-2009
Published: (2003)
by: Lindström, Per, 1936-2009
Published: (2003)
Forever undecided : a puzzle guide to Gödel /
by: Smullyan, Raymond M.
Published: (1987)
by: Smullyan, Raymond M.
Published: (1987)
Kurt Godel and the foundations of mathematics : horizons of truth /
Published: (2011)
Published: (2011)
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel /
Published: (1952)
Published: (1952)
Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems /
by: Murawski, Roman
Published: (1999)
by: Murawski, Roman
Published: (1999)
The incompleteness phenomenon : a new course in mathematical logic /
by: Goldstern, Martin
Published: (1998)
by: Goldstern, Martin
Published: (1998)
Undecidable theories /
Published: (1953)
Published: (1953)
Komplexitat von Entscheidungsproblemen : ein Seminar /
Published: (1976)
Published: (1976)
Decidable theories.
Published: (1970)
Published: (1970)
On formally undecidable propositions of Principia mathematica and related systems /
by: Gödel, Kurt
Published: (1962)
by: Gödel, Kurt
Published: (1962)
An introduction to Gödel's Theorems /
by: Smith, Peter, 1944-
Published: (2007)
by: Smith, Peter, 1944-
Published: (2007)
The monadic second order theory of all countable ordinals /
by: Büchi, J. Richard
Published: (1973)
by: Büchi, J. Richard
Published: (1973)
Word problems II : the Oxford book /
Published: (1980)
Published: (1980)
Enumerability, decidability, computability. : An introduction to the theory of recursive functions /
by: Hermes, Hans
Published: (1969)
by: Hermes, Hans
Published: (1969)
Enumerability, decidability, computability ; an introduction to the theory of recursive functions /
by: Hermes, Hans
Published: (1965)
by: Hermes, Hans
Published: (1965)
Word problems : decision problems and the Burnside problem in group theory /
Published: (1973)
Published: (1973)
Word problems II : the Oxford book /
Published: (1980)
Published: (1980)
The decision method for real algebra: is it practical? /
by: Friedman, Joel, 1962-
Published: (1966)
by: Friedman, Joel, 1962-
Published: (1966)
The undecidable ; basic papers on undecidable propositions, unsolvable problems and computable functions.
by: Davis, Martin, 1928-
Published: (1965)
by: Davis, Martin, 1928-
Published: (1965)
The monadic second order theory of all countable ordinals /
by: Büchi, J. Richard
Published: (1973)
by: Büchi, J. Richard
Published: (1973)
Sentences undecidable in formalized arithmetic.
by: Mostowski, Andrzej
Published: (1952)
by: Mostowski, Andrzej
Published: (1952)
Polynomial completeness in algebraic systems /
by: Kaarli, Kalle
Published: (2001)
by: Kaarli, Kalle
Published: (2001)
Symbolic logic and mechanical theorem proving /
by: Chang, Chin-Liang, 1937-
Published: (1973)
by: Chang, Chin-Liang, 1937-
Published: (1973)
Symbolic logic and mechanical theorem proving
by: Chang, Chin-Liang, 1937-, et al.
Published: (1973)
by: Chang, Chin-Liang, 1937-, et al.
Published: (1973)