Results 31 to 40 of about 21,244 (142)
Symmetries of geodesic motion in G\"{o}del-type spacetimes
, 2014 In this paper, we study Noether gauge symmetries of geodesic motion for geodesic Lagrangian of four classes of metrics of G\"{o}del-type spacetimes for which we calculated the Noether gauge symmetries for all classes I-IV, and find the first integrals of
Camci, U.
core +1 more source
Kripke's Reduction of Löb's Theorem to the Second Incompleteness Theorem
Theoria, EarlyView.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
Revista Brasileira de Ensino de FísicaApós uma breve resenha da vida de Gödel, assinalando as origens de suas tradições intelectuais, são analisados o seu teorema da completude, o seu trabalho de tese, o teorema da incompletude e o teorema sobre a impossibilidade de demonstrar a consistência
C.V. D'Alkaine
doaj +1 more source
Matematica, anarchia e Dio [PDF]
lo Squaderno, 2007 Kurt Gödel è morto di fame a causa di disturbi alla personalità nel 1978. Kurt Gödel si vestiva piuttosto male, era amico di Albert Einstein, era introverso e “inadatto a ruoli di responsabilità” per l’università di Princeton.
Giulio Valentino Dalla Riva
doaj
Maximally inhomogeneous G\"{o}del-Farnsworth-Kerr generalizations
, 2010 It is pointed out that physically meaningful aligned Petrov type D perfect fluid space-times with constant zero-order Riemann invariants are either the homogeneous solutions found by G\"{o}del (isotropic case) and Farnsworth and Kerr (anisotropic case ...
Barnes B +9 more
core +1 more source
(Co‐)Reference All the Way Down: A Unified Theory of (Pro) Nominals in Ordinary English
Theoria, EarlyView.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
Wittgenstein’s ‘notorious paragraph’ about the Gödel Theorem [PDF]
, 2006 In §8 of Remarks on the Foundations of Mathematics (RFM), Appendix 3 Wittgenstein imagines what conclusions would have to be drawn if the Gödel formula P or ¬P would be derivable in PM.
Lampert, Timm
core
Kripke on Gödel Incompleteness
Theoria, EarlyView.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
Yapay Zekâ: Salt Sentaks Üzerine Kurulu Bir Dilin İmkânı
Felsefe DünyasıYapay zekâ ile ilgili gerçekleşen çalışmalara yönelik yapılacak kuş bakışı bir taramanın sonucunda genel itibariyle insan bilinciyle yapay zekâ arasındaki ilişkinin odağa alındığı görülür.
Yahya İncetahtacı
doaj +1 more source
MusicSwarm: Biologically Inspired Intelligence for Music Composition
Advanced Intelligent Systems, Volume 8, Issue 5, May 2026.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