Cargando…

Types, Tableaus, and Gödel’s god

Detalles Bibliográficos
Autor principal:	Fitting, Melvin
Lenguaje:	eng
Publicado:	Springer 2002
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-94-010-0411-4 http://cds.cern.ch/record/1619797

Ejemplares similares

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

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)

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)

Fundamentals of generalized recursion theory
por: Fitting, Melvin
Publicado: (1981)

Raymond Smullyan on self reference
por: Fitting, Melvin, et al.
Publicado: (2018)

First-order logic and automated theorem proving
por: Gries, David, et al.
Publicado: (1990)

Justification logic: reasoning with reasons
por: Artemov, Sergei, et al.
Publicado: (2019)

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)

God created the integers: the mathematical breakthroughs that changed history
por: Hawking, Stephen
Publicado: (2007)

God created the integers: the mathematical breakthroughs that changed history
por: Hawking, Stephen William
Publicado: (2005)

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)

Games, gods and gambling: the origins and history of probability and statistical ideas from the earliest times to the Newtonian era
por: David-Nightingale, Florence
Publicado: (1962)

Ultrasonic spectral analysis for nondestructive evaluation
por: Fitting, Dale W, et al.
Publicado: (1981)

Einstein and Godel
por: Berlinski, D
Publicado: (2002)

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

Motions of charged particles in Gödel-type spacetimes
por: Figueiredo, B D B
Publicado: (1996)

Nonlinearity and functional analysis: lectures on nonlinear problems in mathematical analysis
por: Berger, Melvin S
Publicado: (1977)

Elementary probability theory
por: Hausner, Melvin
Publicado: (1995)

Invariant imbedding and its applications to ordinary differential equations: an introduction
por: Scott, Melvin R
Publicado: (1973)

The algebra of random variables
por: Springer, Melvin Dale
Publicado: (1979)

Theory of partial differential equations
por: Lieberstein, Herbert Melvin
Publicado: (1972)

The basics of S-(scPlus)
por: Krause, Andreas, et al.
Publicado: (2002)

The basics of S and S-PLUS
por: Krause, Andreas, et al.
Publicado: (1997)

The basics of S-PLUS
por: Krause, Andreas, et al.
Publicado: (2005)

Perspectives in nonlinearity: an introduction to nonlinear analysis
por: Berger, Melvin S, et al.
Publicado: (1968)

Lie groups, Lie algebras
por: Hausner, Melvin, et al.
Publicado: (1968)

The basics of S and S-plus
por: Krause, Andreas, et al.
Publicado: (2000)

Workshop Godel: Logic and Time
Publicado: (2007)

Equivariant surgery and classification of finite group actions on manifolds
por: Dovermann, Karl Heinz, et al.
Publicado: (1988)

Phantom homology
por: Hochster, Melvin, et al.
Publicado: (2014)

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

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

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

Cannot write session to /tmp/vufind_sessions/sess_0uhe1bl9da9j5jtaictmpdiiv8