Cargando…

Gödel's theorem: an incomplete guide to its use and abuse

Detalles Bibliográficos
Autor principal:	Franzen, Torkel
Lenguaje:	eng
Publicado:	Peters 2005
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/882455

Ejemplares similares

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

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

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

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

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)

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)

Computability, Gödel's incompleteness theorem, and an inherent limit on the predictability of evolution
por: Day, Troy
Publicado: (2012)

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

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

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)

Gleason’s theorem and its applications
por: Dvurečenskij, Anatolij
Publicado: (1993)

A guide to the classification theorem for compact surfaces
por: Gallier, Jean, et al.
Publicado: (2013)

Spectral mapping theorems: a bluffer's guide
por: Harte, Robin
Publicado: (2014)

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

The mathematics of logic: a guide to completeness theorems and their applications
por: Kaye, Richard W
Publicado: (2007)

Transplantation theorems and multiplier theorems for Jacobi series
por: Muckenhoupt, Benjamin
Publicado: (1986)

Minimax theorems
por: Willem, Michel
Publicado: (1996)

Ergodic theorems
por: Krengel, Ulrich, et al.
Publicado: (1985)

The spectral theorem
por: Helson, Henry
Publicado: (1986)

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

An oscillation theorem for algebraic eigenvalue problems and its applications
por: Sinden, Frank William
Publicado: (1954)

Gap and density theorems
por: Levinson, N
Publicado: (1940)

Problems and theorems in analysis
por: Pólya, George, et al.
Publicado: (1972)

Fixed point theorems
por: Smart, D R
Publicado: (1974)

Problems and theorems in analysis
por: Polya, George, et al.
Publicado: (1972)

Map color theorem
por: Ringel, Gerhard
Publicado: (1974)

The fundamental theorem of algebra
por: Fine, Benjamin, et al.
Publicado: (1997)

An inhomogeneous Jarnìk theorem
por: Bugeaud, Y
Publicado: (2002)

Index theorem. 1
por: Furuta, Mikio
Publicado: (2007)

Tauberian remainder theorems
por: Ganelius, Tord H
Publicado: (1971)

On global univalence theorems
por: Parthasarathy, T
Publicado: (1983)

Selection theorems and their applications
por: Parthasarathy, T
Publicado: (1972)

The cosπλ theorem
por: Essén, Matts R
Publicado: (1975)

Lectures on Vanishing Theorems
por: Esnault, Hélène, et al.
Publicado: (1992)

Lectures on Choquet’s theorem
por: Phelps, Robert
Publicado: (2001)

Examples and theorems in analysis
por: Walker, Peter Leslie
Publicado: (2004)

Theorems and counterexamples in mathematics
por: Gelbaum, Bernard R, et al.
Publicado: (1990)

Strong limit theorems
por: Lin, Zhengyan, et al.
Publicado: (1992)

Cannot write session to /tmp/vufind_sessions/sess_g0c8mb710l3ev9skfp4e4b91lg