Results 101 to 110 of about 16,198 (182)

O pewnych zasadniczych twierdzeniach dotyczących podstaw matematyki i wnioskach z nich płynących (przeł. M. Poręba)

Studia Semiotyczne, 2019
DOI: http://doi.org/10.26333/sts.xxxii2.02 Badania nad podstawami matematyki przyniosły w ostatnich dziesięcioleciach wyniki, które wydają mi się ciekawe nie tylko dla nich samych, lecz także z uwagi na wnioski, jakie płyną z nich w odniesieniu do ...
Kurt Gödel
doaj  

Gödel on Computability

, 2018
Wilfried Sieg.
Wilfried Sieg (5372201)
core   +1 more source

Acausal exact vacuum solutions in nonlocal gravity

European Physical Journal C: Particles and Fields
Nonlocal gravity is a promising super-renormalizable or finite quantum gravity theory consistent with unitarity. In this paper, we focus on the classical equations of motion and explicitly show that a particular subclass of Gödel-type Universes, where ...
Zhe Zhao, Leonardo Modesto, Cosimo Bambi
doaj   +1 more source

La antinomia del Sr. Gödel

Epistemología e Historia de la Ciencia, 2019
Traducción de "L'antinomie de M.
Carlos Alejandro Oller, Chaïm Perelman
doaj   +2 more sources

Kurt Gödel o sobre las paradojas

, 2023
En los contrarios y la tensión entre ellos, constituyentes del ser humano, William Blake descubrió fuerzas poéticas o creativas; el hombre es la unidad en la que se integran el paraíso y el infierno, los dioses y todos los mundos.
López López, Andrés Felipe
core  

Gödel-symmetric backgrounds and explicit spacetime symmetry breaking

European Physical Journal C: Particles and Fields
Explicit diffeomorphism breaking in gravitational theories with nondynamical background fields is constrained by the compatibility between the modified Einstein equations and the contracted Bianchi identities.
César Riquelme, Carlos M. Reyes, A. F. Santos   +2 more
doaj   +1 more source

O desenvolvimento dos instrumentos e conceitos lógico-matemáticos do Primeiro Teorema da Incompletude de Kurt Gödel

Perspectiva Filosófica
O artigo busca elucidar as investigações e avanços na Matemática e na Lógica associadas às concepções filosóficas que culminaram no Primeiro Teorema da Incompletude de Kurt Gödel.
Bismarck Bório de Medeiros
doaj   +1 more source

From Translations to Non-Collapsing Logic Combinations

Bulletin of the Section of Logic
Prawitz suggested expanding a natural deduction system for intuitionistic logic to include rules for classical logic constructors, allowing both intuitionistic and classical elements to coexist without losing their inherent characteristics.
João Rasga, Cristina Sernadas
doaj   +1 more source

Gödel uzay-zamanı

, 2005
In this thesis properties of the Gödel spacetime are analyzed and it is explicitly shown that there exist closed timelike curves in this spacetime. Geodesic motions for massive particles and light rays are investigated.
Kavuk, Mehmet
core  

Godel, Escher, Bach: An Eternal Golden Braid

, 1979
I. D. Hill, D. Hofstadter
semanticscholar   +1 more source