Results 91 to 100 of about 16,198 (182)
, 2017 Transcription des cahiers XIV- XV des Max Phil réalisée dans le cadre du programme ANR BLA-09-03-13 "Kurt Gödel Philosophe : de la logique à la cosmologie", 2009-2013, Reponsable Gabriella Crocco, consultable à la bibliothèque Granger Guiillermit http ...
Van Atten, Mark +3 more
core
O Advento do Algoritmo: a Idéia que Governa o Mundo
Boletim GEPEM, 2004 “Aristósteles está lá, e Abelardo, e Frege e Cantor, ainda de roupa branca de hospital. Peano e Hilbert estão conversando; Russel está olhando fixo para Gödel, e Gödel está olhando fixo para o nada.
Valdomiro Neves Lima
doaj +3 more sources
Kurt Gödel: el límite lógico de la Modernidad
Bajo Palabra, 2016 El proyecto formalista ideado por Hilbert es deudor de un filósofo que podemos considerar como el padre fundador de la modernidad: Descartes. En este escrito se buscará interpretar el teorema de limitación de Kurt Gödel, que muestra la imposibilidad de ...
A. Rodriguez Peña
doaj
La idealidad del tiempo, Gödel y la relatividad
Revista de Estudios Kantianos, 2019 En la KrV Kant plantea la idealidad del tiempo en términos de que no es algo que subsista por sí mismo. En este sentido, Gödel vio una reivindicación de Kant al encontrar algunas soluciones de las ecuaciones de campo de la relatividad.
Gilberto Castrejón
doaj +1 more source
Linear Kripke frames and Gödel logics [PDF]
, 2007 We investigate the relation between logics of countable linear Kripke frames with constant domains and Gödel logics. We show that for any such Kripke frame there is a Gödel logic which coincides with the logic of this Kripke frame and vice versa.
Arnold Beckmann, Norbert Preining
core +1 more source
Supersymmetric Gödel Universes in string theory
, 2003 Supersymmetric backgrounds in string and M-theory of the Gödel Universe type are studied. We find several new Gödel Universes that preserve up to 20 supersymmetries.
Harmark, Troels, Takayanagi, Tadashi
core +1 more source
, 2017 The work of the mathematician Kurt Gödel changed the face of mathematics forever. His famous incompleteness theorem proved that any formalized system of mathematics would always contain statements that were undecidable, showing that there are certain ...
Lipscomb, Tyson
core +1 more source
Gödel Fuzzy Argumentation Frameworks
Comma, 2016 In this paper we combine fuzzy set theory and argumentation to facilitate the use of fuzzy arguments and attacks. Unlike many existing approaches, our work does not require the use of any parameters, bringing it closer to Dung’s work in spirit.
Jiachao Wu +3 more
semanticscholar +1 more source
Sources and Studies in the History of Mathematics and Physical Sciences, 2021 W. D. Brewer
semanticscholar +1 more source
Quantified Propositional Gödel Logics [PDF]
, 2000 It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S.
Ciabattoni, Agata +2 more
core +2 more sources