Results 61 to 70 of about 16,198 (182)
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
Interdisciplinary Materials, Volume 5, Issue 5, Page 834-867, September 2026.Vibrations in matter, from spider webs to molecules, water to flames, share a grammar with music. We propose that creativity emerges when constraints force expansion beyond existing possibilities. Selective imperfection restores balance, enabling invention.
Markus J. Buehler
wiley +1 more source
THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
The Review of Symbolic Logic, 2019 Gödel’s ontological proof is by now well known based on the 1970 version, written in Gödel’s own hand, and Scott’s version of the proof. In this article new manuscript sources found in Gödel’s Nachlass are presented. Three versions of Gödel’s ontological
Annika Kanckos, Tim Lethen
semanticscholar +1 more source
Eruptive Massive Vector Particles of 5-Dimensional Kerr-Gödel Spacetime [PDF]
, 2017 In this paper, we investigate Hawking radiation of massive spin-1 particles from 5-dimensional Kerr-Gödel spacetime. By applying the WKB approximation and the Hamilton-Jacobi ansatz to the relativistic Proca equation, we obtain the quantum tunneling rate
A. Övgün, I. Sakallı
semanticscholar +1 more source
SAYILAMAZ SONSUZLUK, KARAR VERİLEMEZLİK VE GÖDEL’İN EKSİKLİK TEOREMİ
Felsefe Dünyası, 2011 Bu makalede 19. ve 20. yüzyılda matematiğin felsefesi/temelleri üzerineyapılan çalışmalardan, mantığın ve biçimselleştirmenin getirdiği sonuçlardan,hesaplanabilirlik kuramının tarihinden, ve teorik bilgisayar bilimininoluşumuna neden olan matematik ...
Ahmet Çevik
doaj
Gödel\u27s incompleteness theorem [PDF]
, 2020 V diplomski nalogi je predstavljen in dokazan Gödlov izrek o nepopolnosti za Peanovo aritmetiko. To je teorija prvega reda, ki aksiomatizira naravna števila in njihovo aritmetiko.
Herman, Lana
core
On the Existential Theory of the Completions of a Global Field
Mathematische Nachrichten, Volume 299, Issue 9, Page 2680-2692, September 2026.ABSTRACT We discuss the common existential theory of all or almost all completions of a global function field.
Philip Dittmann, Arno Fehm
wiley +1 more source
Kurt Gödel: revolución en los fundamentos de las mateméticas
Arbor: Ciencia, Pensamiento y Cultura, 2007 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
Noûs, Volume 60, Issue 3, Page 593-605, September 2026.ABSTRACT It is a truism of mathematics that differences between isomorphic number systems are irrelevant to arithmetic. This truism is deeply rooted in the modern axiomatic method and underlies most strands of arithmetical structuralism, the view that arithmetic is about some abstract number structure.
Balthasar Grabmayr
wiley +1 more source
, 2018 In this paper, we study those rings whose semiring of ideals can be given the structure of a Gödel algebra. Such rings are called Gödel rings. We investigate such structures both from an algebraic and a topological point of view.
Nola, Antonio di +2 more
core +1 more source