Results 71 to 80 of about 21,244 (142)
All Properties are Divine or God exists [PDF]
, 2018 A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to hold of an ...
Bjørdal, Frode
core
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
Abstract Body, Abstract Machine: Alan Turing's Drama of Difference [PDF]
, 2005 In order to prove that mathematics cannot be exhausted by a finite set of procedures, Alan Turing conceives, in 1936, of an abstract machine 1. The machine makes its debut in “On Computable Numbers with an application to the Entscheidungsproblem,” his ...
Mann-O'Donnell, Sarah
core
The Completeness: From Henkin's Proposition to Quantum Computer [PDF]
, 2018 The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as ...
Penchev, Vasil
core +1 more source
ANALYTIC AND CONTINENTAL PHILOSOPHY, SCIENCE, AND GLOBAL PHILOSOPHY [PDF]
, 2011 Although there is no consensus on what distinguishes analytic from Continental philosophy, I focus in this paper on one source of disagreement that seems to run fairly deep in dividing these traditions in recent times, namely, disagreement about the ...
Tieszen, Richard
core +1 more source
Consequences of a Goedel's misjudgment
, 2015 The fundamental aim of the paper is to correct an harmful way to interpret a Goedel's erroneous remark at the Congress of Koenigsberg in 1930. Despite the Goedel's fault is rather venial, its misreading has produced and continues to produce dangerous ...
Raguni, Giuseppe
core
, 2004 Classical interpretations of Goedel's formal reasoning imply that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is essentially unverifiable.
Anand, Bhupinder Singh
core
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
Perspectiva FilosóficaO 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
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