Cargando…

Gödel's Proof /

Mostrar otras versiones (4)

Detalles Bibliográficos
Autor principal:	Nagel, Ernest, 1901-1985
Otros Autores:	Hofstadter, Douglas R., 1945-, Newman, James Roy
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	New York : New York University Press, 2002.
Edición:	Rev. ed. /
Colección:	Book collections on Project MUSE.
Temas:	Logik. Gödel's theorem. Electronic books.
Acceso en línea:	Texto completo

Ejemplares similares

Gödel's proof /
por: Nagel, Ernest, 1901-1985
Publicado: (2001)

Gödel's proof /
por: Nagel, Ernest, 1901-1985
Publicado: (2005)

Kurt Gödel and the foundations of mathematics : horizons of truth /
Publicado: (2011)

Thinking about Gödel and Turing : essays on complexity 1970-2007 /
por: Chaitin, Gregory J.
Publicado: (2007)

Gödel's proof /
por: Nagel, Ernest, 1901-1985
Publicado: (2005)

Gödel's theorem : an incomplete guide to its use and abuse /
por: Franzén, Torkel
Publicado: (2005)

Language and godels theorem : a revised edition.
por: Tice, Bradley S.
Publicado: (2012)

El teorema de Gödel /
por: Nagel, Ernest, 1901-1985
Publicado: (2007)

Gödel's incompleteness theorems /
por: Smullyan, Raymond M.
Publicado: (1992)

Impossibility : the Limits of Science and the Science of Limits.
por: Barrow, John D.
Publicado: (1999)

Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines.
por: Gödel, Kurt
Publicado: (2006)

Impossibility : the limits of science and the science of limits /
por: Barrow, John D., 1952-2020
Publicado: (1998)

Jungian Archetypes : Jung, Gödel, and the History of Archetypes.
por: Robertson, Robin
Publicado: (2016)

Memoirs of a proof theorist : Gödel and other logicians /
por: Takeuti, Gaisi, 1926-2017
Publicado: (2003)

Reflections on Kurt Gödel /
por: Wang, Hao, 1921-
Publicado: (1987)

Kurt Gödel o Sobre Las Paradojas
por: López López, Andrés Felipe
Publicado: (2023)

Memoirs of a Proof Theorist : Gödel and Other Logicians.
por: Passell, Nicholas
Publicado: (2003)

Gödel, Putnam, and functionalism : a new reading of Representation and reality /
por: Buechner, Jeff
Publicado: (2008)

Gödel, Putnam, and functionalism : a new reading of Representation and reality /
por: Buechner, Jeff
Publicado: (2008)

A logical journey : from Gödel to philosophy /
por: Wang, Hao, 1921-
Publicado: (1996)

Teoría de conjuntos, lógica y temas afines /
por: Fernández de Castro, Max
Publicado: (2013)

Sócrates en Viena : una biografía intelectual de Kurt Gödel /
por: Alonso, Enrique
Publicado: (2007)

Undecidable theories /
Publicado: (1953)

Thinking on the Web : Berners-Lee, Gödel, and Turing /
por: Alesso, H. P., et al.
Publicado: (2009)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G�odel /
Publicado: (1952)

Sócrates en Viena : una biografía intelectual de Kurt Gödel /
por: Alonso, Enrique
Publicado: (2007)

Proof technology and computation /
Publicado: (2006)

Proof technology and computation /
Publicado: (2006)

The Pythagorean Theorem : a 4,000-Year History.
por: Maor, Eli
Publicado: (2019)

Information Theory And The Central Limit Theorem.
por: Johnson, Oliver
Publicado: (2004)

The life and times of the central limit theorem /
por: Adams, William J.
Publicado: (2009)

Automated theorem proving : after 25 years /
Publicado: (1984)

Selectors /
por: Jayne, John E. (John Eben), 1943-
Publicado: (2002)

Aspects of Incompleteness /
por: Lindstrom, Per
Publicado: (2017)

Introduction to Statistical Limit Theory.
por: Polansky, Alan M.
Publicado: (2011)

Existence theorems in partial differential equations.
por: Bernstein, Dorothy Lewis, 1914-
Publicado: (1950)

Differential Geometry of Complex Vector Bundles
por: Kobayashi, Shoshichi
Publicado: (2014)

Differential Geometry of Complex Vector Bundles.
por: Kobayashi, Shoshichi
Publicado: (2014)

GrundlAeggende Mal- Og Integralteori
por: Thorbjornsen, Steen
Publicado: (2014)

Word problems II : the Oxford book /
Publicado: (1980)