Results 31 to 40 of about 1,236 (117)
The Dirac equation in a class of topologically trivial flat Gödel-type space-time backgrounds
In this work, we investigate the behaviour of Dirac particles in a class of Gödel-type space-time backgrounds in the presence of non-minimal coupling of the gravitational field with background curvature.
Faizuddin Ahmed
doaj +1 more source
Thermal Casimir effect in Gödel-type universes
In this paper, a massless scalar field coupled to gravity is considered. Then the Casimir effect at finite temperature is calculated. Such development is carried out in the Thermo Field Dynamics formalism.
A.F. Santos, Faqir C. Khanna
doaj +1 more source
Kripke's Reduction of Löb's Theorem to the Second Incompleteness Theorem
ABSTRACT In this paper, we discuss Kripke's reduction of Löb's Principle to the Second Incompleteness Theorem. We have a closer look at the non‐constructive character of the reduction. We reflect on what the argument has to tell us. In the Appendix, We give a strengthening of Löb's Principle suggested by Kripke's reduction.
Albert Visser
wiley +1 more source
(Co‐)Reference All the Way Down: A Unified Theory of (Pro) Nominals in Ordinary English
ABSTRACT This essay joins two themes, both arising from Kripke's inspiring ideas in the theory of reference. The first theme concerns reference in general. The second examines the notion of co‐reference and the role it plays in a unified theory of pronouns for natural language.
Jessica Pepp, Joseph Almog
wiley +1 more source
Quantum avoidance of Gödel’s closed timelike curves
In a large class of nonlocal as well as local higher derivative theories minimally coupled to the matter sector, we investigate the exactness of two different classes of homogeneous Gödel-type solutions, which may or may not allow closed time-like curves
Zhe Zhao, Leonardo Modesto
doaj +1 more source
Kripke on Gödel Incompleteness
ABSTRACT This paper surveys six of Saul Kripke's highly creative ideas and results on Gödel incompleteness, from when he was an undergraduate to last publications. These include his extension of incompleteness from sentences to predicates, his model‐theoretic proof of incompleteness of arithmetic, his compelling analysis of incompleteness in terms of ...
Daniel Isaacson
wiley +1 more source
Kurt Gödel: revolución en los fundamentos de las mateméticas
Ofrecemos un repaso a las principales contribuciones de Kurt Gödel en el campo de Lógica y fundamentos de las matemáticas, analizando su impacto, que bien puede llamarse revolucionario.
José Ferreirós
doaj +1 more source
MusicSwarm: Biologically Inspired Intelligence for Music Composition
Biologically inspired swarms of frozen foundation models self‐organize to compose complex music without fine‐tuning. By coordinating through stigmergic signals, decentralized agents dynamically evolve specialized roles and adapt to solve complex tasks.
Markus J. Buehler
wiley +1 more source
Wittgenstein y el programa de Hilbert
A pesar del contundente señalamiento de Wittgenstein, su argumento en contra del programa de Hilbert nunca fue tomado muy en serio. En el presente texto me propongo revertir esta tendencia y mostrar que dicho argumento es incluso más destructivo del ...
Sílvio Pinto
doaj
Gödel metrics with chronology protection in Horndeski gravities
Gödel universe, one of the most interesting exact solutions predicted by General Relativity, describes a homogeneous rotating universe containing naked closed time-like curves (CTCs).
Wei-Jian Geng +3 more
doaj +1 more source

