Cargando…

Workshop Godel: Logic and Time

Detalles Bibliográficos
Lenguaje:	eng
Publicado:	2007
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/1054419

Ejemplares similares

Ten problems in Gödel logic
por: Aguilera, Juan P., et al.
Publicado: (2016)

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

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

From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
por: Fermüller, Christian, et al.
Publicado: (2020)

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

International Workshop on Hybrid Logic
Publicado: (2007)

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

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)

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

Gödel, Escher, Bach : an eternal golden braid
por: Hofstadter, Douglas R., 1945-
Publicado: (1989)

A World Without Time: The Forgotten Legacy of Gödel and Einstein
por: Yourgrau, Palle
Publicado: (2006)

Gödel, Escher, Bach : una eterna trenza dorada
por: Hofstadter, Douglas R., 1945-
Publicado: (1982)

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)

String-dust in Einstein and Gödel Universes
por: Patel, L K, et al.
Publicado: (1995)

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

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

Godel y paraconsistencia : el camino a la no-trivialidad
por: Martínez Ordaz, María del Rosario
Publicado: (2010)

Gödel, Escher, Bach : un eterno y grácil bucle
por: Hofstadter, Douglas R., 1945-
Publicado: (1998)

Hilbert y Gödel : dos perspectivas de la matemática /
por: Torres Alcaraz, Carlos
Publicado: (2018)

5th International Workshop on Fuzzy Logic and Applications
por: Di Gesù, Vito, et al.
Publicado: (2006)

6th International Workshop on Fuzzy Logic and Applications
por: Bloch, Isabelle, et al.
Publicado: (2006)

Thinking on the Web: Berners-Lee, Gödel, and Turing
por: Alesso, H P, et al.
Publicado: (2009)

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

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

Gödel, Escher, Bach: an eternal golden braid
por: Hofstadter, Douglas R
Publicado: (1979)

Gödel, Escher, Bach: an eternal golden braid
por: Hofstadter, Douglas R
Publicado: (1999)

Workshop on WOPPLOT 83 parallel processing logic, organization, and technology
por: Becker, Jürg D, et al.
Publicado: (1984)

Learning in brain and machine—complexity, Gödel, Aristotle
por: Perlovsky, Leonid
Publicado: (2013)

When Einstein walked with Gödel: excursions to the edge of thought
por: Holt, Jim
Publicado: (2018)

Use of code synthesis in ZEUS: use of the Gödel metasynthesizer
por: Hallam-Baker, P M
Publicado: (1992)

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

Gödel, Escher, Bach: ein endloses geflochtenes Band
por: Hofstadter, Douglas R
Publicado: (1985)

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

Exact solutions to the nonlinear spinor field equations in the Gödel universe
por: Herrera, A, et al.
Publicado: (1996)

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

Workshop on Logics of Programs
por: Clarke, Edmund, et al.
Publicado: (1984)

Exact solutions to the interacting spinor and scalar field equations in the Gödel universe
por: Herrera, A, et al.
Publicado: (1996)

Cannot write session to /tmp/vufind_sessions/sess_8llec8q31evdukb43hjacs1ehg