Cargando…

On formally undecidable propositions of principia mathematica and related systems

Mostrar otras versiones (1)

Detalles Bibliográficos
Autor principal:	Gödel, Kurt
Formato:	Libro
Publicado:	New York : Dover, 1992
Materias:	Teorema de Gödel's

Ejemplares similares

On formally undecidable propositions of Principia mathematica and related systems
por: Gödel, Kurt
Publicado: (1962)

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

La prueba de Gödel
por: Nagel, Ernest, 1901-1985
Publicado: (1959)

Principia mathematica : to *56
por: Whitehead, Alfred North, 1861-1947
Publicado: (1962)

Principia mathematica
por: Whitehead, Alfred North, et al.
Publicado: (1927)

Metamathematics, machines, and Gödel's proof /
por: Shankar, N.
Publicado: (1994)

The Palgrave centenary companion to Principia mathematica
por: Linsky, Bernard, et al.
Publicado: (2013)

Satán, cantor y el infinito
por: Smullyan, Raymond M.
Publicado: (1995)

Incompleteness : the proof and paradox of Kurt Gödel
por: Goldstein, Rebecca 1950- Goldstein, Rebecca Newberger
Publicado: (2005)

Juegos por siempre misteriosos
por: Smullyan, Raymond M.
Publicado: (1988)

The Evolution of Principia Mathematica: Bertrand Russell's Manuscripts and Notes for the Second Edition
por: Linsky, Bernard
Publicado: (2011)

El reto de Fermat /
por: Río Mateos, Angel del
Publicado: (2005)

Introducción a la teoría de la computabilidad : algoritmos y máquinas
por: Hermes, Hans
Publicado: (1984)

Undecided /
por: Robin, Sid, 1912-1986
Publicado: (2010)

The principia
por: Newton, Isaac
Publicado: (1995)

Principia ethica
por: Moore, George Edward 1873-1958
Publicado: (1993)

Principia ethica
por: Moore, G. E. (George Edward), 1873-1958
Publicado: (1959)

Principia ethica /
por: Moore, G. E. (George Edward), 1873-1958
Publicado: (1959)

Principia ethica.
por: Moore, G. E. 1873-1958 (George Edward)
Publicado: (1997)

Principia ethica /
por: Moore, G. E. (George Edward), 1873-1958
Publicado: (1983)

Newton's "Principia"
por: Speiser, D
Publicado: (1980)

Reflexiones sobre Kurt Gödel
por: Wang, Hao, 1921-
Publicado: (1987)

Randomness and undecidability in physics
por: Svozil, Karl
Publicado: (1994)

Undecidability in quantum thermalization
por: Shiraishi, Naoto, et al.
Publicado: (2021)

Theory of relations /
por: Fraíssé, Roland
Publicado: (2000)

Original form of Kepler's Third Law and its misapplication in Propositions XXXII-XXXVII in Newton's Principia (Book I)
por: Vijaya, Gopi Krishna
Publicado: (2019)

Decisions among the Undecided: Implicit Attitudes Predict Future Voting Behavior of Undecided Voters
por: Lundberg, Kristjen B., et al.
Publicado: (2014)

Imposibilidad : los límites de la ciencia y la ciencia de los límites /
por: Barrow, John D., 1952-
Publicado: (1999)

Correction: Decisions among the Undecided: Implicit Attitudes Predict Future Voting Behavior of Undecided Voters
Publicado: (2014)

Theory and problems of set theory and related topics
por: Lipschutz, Seymour
Publicado: (1964)

Principia médica : la medicina y el hombre /
por: Ortiz Quezada, Federico, 1935-
Publicado: (2004)

Newton's Principia for the common reader
por: Chandrasekhar, Subrahmanyan
Publicado: (1995)

Newton's principia for the common reader
por: Chandrasekhar, S
Publicado: (2003)

Limits of computation: an introduction to the undecidable and the intractable
por: Reiter, Edna E, et al.
Publicado: (2013)

Undecidability and opacity of metacognition in animals and humans
por: Clark, Kevin B., et al.
Publicado: (2013)

Principia rhetorica : una teoría general de la argumentación
por: Meyer, Michel, 1950-
Publicado: (2013)

Teoría de conjuntos : una introducción / Fernando Hernández Hernández.
por: Hernández Hernández, Fernando
Publicado: (2003)

Iniciación a la teoría intuitiva de conjuntos
por: Lorenzo, Javier de
Publicado: (1972)

Conjuntos ordenados
por: Neumann Lara, Víctor
Publicado: (1971)

Introducción a la teoría de los subconjuntos borrosos : para el uso de ingenieros
por: Kauffmann, A. 1911-
Publicado: (1982)

Cannot write session to /tmp/vufind_sessions/sess_5fhjo3n8j9gvr6ff450qgdv569