Cargando…

Gödel's proof

Mostrar otras versiones (1)

Detalles Bibliográficos
Autores principales:	Nagel, Ernest, Newman, James Roy
Lenguaje:	eng
Publicado:	Routledge 1959
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/105489

Ejemplares similares

Extensional Gödel functional interpretation: a consistency proof of classical analysis
por: Luckhardt, Horst
Publicado: (1973)

Where is the Gödel-point hiding: Gentzen's consistency proof of 1936 and his representation of constructive ordinals
por: Horská, Anna
Publicado: (2013)

Types, Tableaus, and Gödel’s god
por: Fitting, Melvin
Publicado: (2002)

Elements of mathematics: from Euclid to Godel
por: Stillwell, John
Publicado: (2016)

Kurt Gödel: Essays for his centennial
por: Gödel, Kurt, et al.
Publicado: (2010)

Forever undecided: a puzzle guide to Gödel
por: Smullyan, Raymond M
Publicado: (1991)

Gödel's theorem: an incomplete guide to its use and abuse
por: Franzen, Torkel
Publicado: (2005)

Gödel's theorems and Zermelo's axioms: a firm foundation of mathematics
por: Halbeisen, Lorenz, et al.
Publicado: (2020)

Foundations of Mathematics : Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel
por: Bulloff, Jack, et al.
Publicado: (1969)

Can mathematics be proved consistent?: Gödel's shorthand notes & lectures on incompleteness
por: von Plato, Jan
Publicado: (2020)

Gödel: une révolution en mathématiques. Essai sur les conséquences scientifiques et philosophiques des théorèmes godéliens
por: Delessert, André
Publicado: (2000)

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

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

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

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

The nuts and bolts of proofs: an introduction to mathematical proofs
por: Cupillari, Antonella
Publicado: (2005)

The Proof is in the Pudding: The Changing Nature of Mathematical Proof
por: Krantz, Steven G
Publicado: (2011)

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs
por: Cupillari, Antonella
Publicado: (2011)

The Algebra of thought and reality: A new operator formulation for classical and quantum logic obviating logic paradoxes and Gödel's undecidability theorem; and giving a methematical basis for Plato's theory of ideas, and reality - the standard model of particles
por: Blaha, Stephen
Publicado: (2009)

Applied proof theory: proof interpretations and their use in mathematics
por: Kohlenbach, Ulrich
Publicado: (2008)

Proof complexity
por: Krajíček, Jan
Publicado: (2019)

Algebra of proofs
por: Szabo, M E, et al.
Publicado: (2016)

Proof patterns
por: Joshi, Mark
Publicado: (2015)

Numbers and proofs
por: Allenby, Reg
Publicado: (1997)

Proof theory
por: Schütte, Kurt
Publicado: (1977)

Proofs and Computations
por: Schwichtenberg, Helmut, et al.
Publicado: (2011)

Proof theory
por: Jervell, Herman Ruge
Publicado: (2013)

Sets, models and proofs
por: Moerdijk, Ieke, et al.
Publicado: (2018)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2018)

Transition to analysis with proof
por: Krantz, Steven G
Publicado: (2017)

An introduction to mathematical proofs
por: Loehr, Nicholas A
Publicado: (2019)

Understanding mathematical proof
por: Taylor, John, et al.
Publicado: (2014)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2014)

Proofs from the book
por: Quarteroni, Alfio
Publicado: (2006)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2010)

The nuts and bolts of proofs
por: Cupillari, Antonella
Publicado: (2001)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2003)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2001)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (1998)

Proof theory: an introduction
por: Pohlers, Wolfram
Publicado: (1989)

Cannot write session to /tmp/vufind_sessions/sess_kgtal1979ug2anioku5jm4r9i9