Godel's theorem an incomplete guide to its use and abuse /

Main Author:	Franzen, Torkel
Format:	Book
Language:	English
Published:	Wellesley : A K Peters, c2005
Subjects:	Mathematics Logic Theory Symbolic logic Gödel's theorem Incompleteness theorems

Similar Items

Το θεώρημα του Godel /
by: Nagel, Ernest, 1901-
Published: (1991)

Inexhaustibility : a non-exhaustive treatment /
by: Franzen, Torkel
Published: (2004)

Inexhaustibility : a non-exhaustive treatment /
by: Franzen, Torkel
Published: (2004)

Godel's incompleteness theorems/
by: Smullyan, Raymond M.
Published: (1992)

Godel's theorem in focus/
Published: (1988)

Aspects of incompleteness/
by: Lindström, Per, 1936-
Published: (1997)

̂Gōdel's proof /
by: Nagel, Ernest, 1901-1985.
Published: (2001)

The incompleteness phenomenon : a new course in mathematical logic /
by: Goldstern, Martin
Published: (1998)

The incompleteness phenomenon : a new course in mathematical logic /
by: Goldstern, Martin
Published: (1995)

Για το θεώρημα μη-πληρότητας του Godel/
by: Uspenskii, Vladimir Andreevich
Published: (1998)

An introduction to Godel's Theorems/
by: Smith, Peter, 1935-
Published: (2007)

Mechanism, mentalism, and metamathematics: : an essay on finitism/
by: Webb, Judson Chambers
Published: (1980)

Από την παράνοια στους αλγόριθμους : η Δέκατη έβδομη νύχτα και άλλες διαδρομές /
by: Δοξιάδης, Απόστολος, 1953-
Published: (2006)

Symbolic logic and mechanical theorem proving /
by: Chang, Chin-Liang, 1937-
Published: (1987)

First-order logic and automated theorem proving
by: Fitting, Melvin, 1942-
Published: (1996)

First-order logic and automated theorem proving /
by: Fitting, Melvin, 1942-
Published: (1996)

Fermat's and Wilson's theorems/
Published: (1996)

Το θεώρημα του Godel/
by: Nagel, Ernest
Published: (1991)

Logic for computer science : foundations of automatic theorem proving /
by: Gallier, Jean H.
Published: (1982)

Godelʹs theorem in focus/
by: Shanker, S. G.
Published: (1988)

Computational logic and proof theory : 5th Kurt Godel Colloquium,KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings /
Published: (1997)

Godel's incompletness theorems/
Published: (2004)

Les theoremes d'incompletude de Godel /
by: Smullyan, Raymond M.
Published: (1993)

The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions/
Published: (2004)

Automated deduction : a basis for applications /
Published: (1995)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Go?del /
by: Mostowski, Andrzej
Published: (1952)

Handbook of tableau methods/
Published: (1999)

The resolution calculus/
by: Leitsch, Alexander
Published: (1997)

Higher order logic theorem proving and its applications: proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92/
Published: (1993)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: Hermes, Hans
Published: (1969)

Enumerability, decidability, computability.: An introduction to the theory of recursive functions/
by: Hermes, Hans
Published: (1969)

Proof theory and automated deduction/
by: Goubault-Larrecq, Jean
Published: (1997)

Theoreme de fermat : solution general de lʹ equation Χ^+Ψ^=Ζ^ /
by: Παπαδάκης, Κωνσταντίνος Νικ.
Published: (1989)

Some limit theorems in statistics/
by: Bahadur, Raghu Raj, 1924-
Published: (1971)

Strong limit theorems/
by: Lin, Zhengyan
Published: (1992)

Limit theorems for large deviations/
by: Saulis, L.
Published: (1991)

Limit theorems for stochastic processes/
by: Jacod, Jean
Published: (1987)

Some limit theorems in statistics /
by: Bahadur, R. R.
Published: (1971)

Tauberian theorems/
by: Pitt, H. R.
Published: (1958)

The theorem of Pythagoras
Published: (1988)

Cannot write session to /tmp/vufind_sessions/sess_jmq1st9v87spb2chgjrcccgnb1