Cargando…

Kurt Gödel: Essays for his centennial

Papers examining aspects of Godel's work gathered from a symposium celebrating Gödel's centennial and papers from a 2004 ASL symposium

Detalles Bibliográficos
Autores principales:	Gödel, Kurt, Feferman, Solomon, Parsons, Charles, Simpson, Stephen G
Lenguaje:	eng
Publicado:	Cambridge Univ. Press 2010
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/1309860

Ejemplares similares

Cargando…

Kurt Godel: unpublished philosophical essays
por: Kurt, Godel, et al.
Publicado: (1995)

Cargando…

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

Cargando…

Reflections on Kurt Gödel
por: Wang Hao
Publicado: (1987)

Cargando…

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

Cargando…

Gödel's proof
por: Nagel, Ernest, et al.
Publicado: (1959)

Cargando…

Collected works
por: Gödel, Kurt, et al.
Publicado: (1986)

Cargando…

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

Cargando…

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

Cargando…

The legacy of Kurt Schütte
por: Kahle, Reinhard, et al.
Publicado: (2020)

Cargando…

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

Cargando…

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

Cargando…

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

Cargando…

Erdős centennial
por: Lovász, László, et al.
Publicado: (2013)

Cargando…

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

Cargando…

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

Cargando…

The life and work of Leon Henkin: essays on his contributions
por: Manzano, María, et al.
Publicado: (2014)

Cargando…

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

Cargando…

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

Cargando…

Collected papers of Stig Kanger with essays on his life and work
por: Holmström-Hintikka, Ghita, et al.
Publicado: (2001)

Cargando…

Positivity VII (Zaanen Centennial Conference)
por: Jeu, Marcel, et al.
Publicado: (2016)

Cargando…

Sampling theory and applications: a centennial celebration of Claude Shannon
por: Casey, Stephen, et al.
Publicado: (2020)

Cargando…

Mathematics into the twenty-first century centennial symposium
por: Collective
Publicado: (1988)

Cargando…

In the light of logic
por: Feferman, Solomon
Publicado: (1999)

Cargando…

Women in mathematics: celebrating the centennial of the Mathematical Association of America
por: Beery, Janet, et al.
Publicado: (2017)

Cargando…

Functional analysis and geometry: Selim Grigorievich Krein centennial
por: Kuchment, Peter, et al.
Publicado: (2019)

Cargando…

Escher Centennial Conference on M.C. Escher's Legacy
por: Schattschneider, Doris, et al.
Publicado: (2005)

Cargando…

Applied algebra and number theory: essays in honour of Harald Niederreiter on the occasion of his 70th birthday
por: Niederreiter, Harald, et al.
Publicado: (2014)

Cargando…

Topics in operator theory and interpolation: essays dedicated to M S Livsic on the occasion of his 70th birthday
por: Gohberg, I
Publicado: (1988)

Cargando…

Differential equations, mathematical physics, and applications: Selim Grigorievich Krein centennial
por: Kuchment, Peter, et al.
Publicado: (2019)

Cargando…

100 years of math milestones: the Pi Mu epsilon centennial collection
por: Garcia, Stephan Ramon, et al.
Publicado: (2019)

Cargando…

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)

Cargando…

Multivariate algorithmic revolution and beyond: essays dedicated to Michael R. Fellows on the occasion of his 60th birthday
por: Hutchison, David, et al.
Publicado: (2012)

Cargando…

From lambda calculus to cybersecurity through program analysis: essays dedicated to Chris Hankin on the occasion of his retirement
por: Pierro, Alessandra, et al.
Publicado: (2020)

Cargando…

Essays in the history of mathematics
por: Dantzig, George B, et al.
Publicado: (1984)

Cargando…

New directions in applied mathematics : papers presented on the occasion of the case centennial celebration
por: Hilton, Peter, et al.
Publicado: (1982)

Cargando…

Operator theory in function spaces and Banach lattices: essays dedicated to AC Zaanen on the occasion of his 80th birthday
por: Huijsmans, C, et al.
Publicado: (1995)

Cargando…

Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
por: Hutchison, David, et al.
Publicado: (2005)

Cargando…

Consistency of the continuum hypothesis (AM-3)
por: Gödel, Kurt
Publicado: (1940)

Cargando…

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
por: Gödel, Kurt
Publicado: (1940)

Cargando…

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