Cargando…

Forever undecided: a puzzle guide to Gödel

Detalles Bibliográficos
Autor principal:	Smullyan, Raymond M
Lenguaje:	eng
Publicado:	Oxford Univ. Press 1991
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/406559

Ejemplares similares

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

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

Borel liftings of Borel sets: some decidable and undecidable statements
por: Debs, Gabriel, et al.
Publicado: (2007)

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)

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

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

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)

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

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)

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

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

Logical labyrinths
por: Smullyan, Raymond
Publicado: (2008)

First-order logic
por: Smullyan, Raymond M
Publicado: (1968)

Theory of formal systems (AM-47)
por: Smullyan, Raymond M
Publicado: (1961)

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)

Games, puzzles, and computation
por: Hearn, Robert A, et al.
Publicado: (2009)

Puzzle papers in arithmetic
por: Boon, F C, et al.
Publicado: (1960)

Mathematical puzzles and diversions
por: Gardner, Martin
Publicado: (1959)

The puzzles of Nobuyuki Yoshigahara
por: Liu, Andy, et al.
Publicado: (2020)

More mathematical puzzles and diversions
por: Gardner, Martin
Publicado: (1961)

Ahmes’ legacy: puzzles and the mathematical mind
por: Danesi, Marcel
Publicado: (2018)

Nets, Puzzles, and Postmen: An Exploration of Mathematical Connections
por: Higgins, Peter M
Publicado: (2007)

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

Understanding the Bouguer anomaly: a gravimetry puzzle
por: Pasteka, Roman, et al.
Publicado: (2017)

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

The Scientific American book of mathematical puzzles and diversions
por: Gardner, Martin
Publicado: (1959)

Puzzles and paradoxes: fascinating excursions in recreational mathematics
por: O'Beirne, T H
Publicado: (1984)

40 Puzzles and Problems in Probability and Mathematical Statistics
por: Schwarz, Wolfgang
Publicado: (2008)

A panorama of statistics: perspectives, puzzles and paradoxes in statistics
por: Sowey, Eric, et al.
Publicado: (2016)

Mathematical puzzles and perplexities: how to make the most of them
por: Birtwistle, Claude
Publicado: (1971)

The 2nd Scientific American book of mathematical puzzles and diversions
por: Gardner, Martin
Publicado: (1961)

Discrete mathematics: mathematical reasoning and proof with puzzles, patterns and games
por: Ensley, Douglas E, et al.
Publicado: (2006)

The Millennium problems: the seven greatest unsolved mathematical puzzles of our time
por: Devlin, Keith
Publicado: (2003)

The universe in a Handkerchief: Lewis Carroll’s mathematical recreations, games, puzzles, and word plays
por: Gardner, Martin
Publicado: (1996)

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

What is the name of this book?: the riddle of Dracula and other logical puzzles
por: Smullyan, Raymond M
Publicado: (1978)

What is the name of this book?: the riddle of Dracula and other logical puzzles
por: Smullyan, Raymond M
Publicado: (1981)

Mathematical magic show: more puzzles, games, diversions, illusions and other mathematical sleight-of-mind from Scientific American
por: Gardner, Martin
Publicado: (1978)

Cannot write session to /tmp/vufind_sessions/sess_d9ueot0bf8k4pp1034vbh2ievh