-
1
-
2
-
3
Kurt Gödel: el límite lógico de la Modernidad
Published 2016-02-01“…En este escrito se buscará interpretar el teorema de limitación de Kurt Gödel, que muestra la imposibilidad de dicho proyecto, como una crítica a la modernidad. …”
Get full text
Article -
4
Kurt Gödel: revolución en los fundamentos de las mateméticas
Published 2007-06-01“…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. …”
Get full text
Article -
5
Kurt Gödel y San Agustín. Platonismo matemático y la existencia de Dios
Published 2020-04-01Get full text
Article -
6
Kurt Gödel y San Agustín. Platonismo matemático y la existencia de Dios
Published 2020-04-01Get full text
Article -
7
Hat Kurt Gödel Thomas von Aquins Kommentar zu Aristoteles’ De anima rezipiert?
Published 2013-03-01“…The search for an answer to the question that constitutes the title has led to some insightful results concerning Kurt Gödel’s critical reception of major philosophical works. …”
Get full text
Article -
8
Platonismo matemático sin metafísica: nuevas luces sobre la objetividad en Gottlob Frege y Kurt Gödel
Published 2017-12-01“…The main purpose of the present paper consists in analyzing the arguments, interpretations and concepts offered by both Gottlob Frege and Kurt Gödel in some of their works in defense of platonic realism in mathematics, where they do not rely on epistemologically complex concepts such as the world of Ideas or an intellectual intuition.…”
Get full text
Article -
9
Computational Logic and Proof Theory‚ 5th Kurt Gödel Colloquium‚ KGC'97‚ Vienna‚ Austria‚ August 25−29‚ 1997‚ Proceedings
Published 1997Conference item -
10
-
11
-
12
A New Recast of Gödel's Ontological Argument in Hájek’s Language
Published 2016-04-01Subjects: Get full text
Article -
13
Hans Magnus Enzensberger a teorém bezespornosti
Published 2020-06-01Subjects: Get full text
Article -
14
-
15
-
16
Kurta Gödla dowód na istnienie Boga
Published 2007-06-01“…Recenzja książki: Kurt Gödel, La prova matematica dell’esistenza di Dio, red. …”
Get full text
Article -
17
Introduction to Special Issue <em>Time Travel</em>
Published 2022-09-01“…The philosophy of time travel has an illustrious pedigree, having seen ground-breaking physical and philosophical treatments in the late 1940s and early 1950s from Kurt Gödel [...]…”
Get full text
Article -
18
Otto Hölder’s Interpretation of David Hilbert’s Axiomatic Method
Published 2013-03-01“…I argue that Hölder’s analysis of Hilbert’s general methodological ideas and, more importantly, Hölder’s analysis of the logical structure of the proofs provided by Hilbert in his Grundlagen der Geometrie of 1899 are helpful in reaching a clearer understanding of van der Waerden’s claim linking Hölder’s conception of proof to the tradition established by Kurt Gödel.…”
Get full text
Article -
19
Understanding Mathematical Logic and its Applications /
Published 2012“…In the early 20th century it was shaped by David Hilbert's program to provide the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen and others provided partial resolution to the program, and clarified the issues involved in providing consistency. …”
Get full text
software, multimedia -
20
Gödel e Einstein: e quando o tempo não resiste à amizade?
“…Mas o que dizer quando o próprio tempo não resiste a uma amizade? Em 1949 Kurt Gödel publicou um artigo no qual apresentava uma solução exata das equações de Einstein - que veio a ser conhecida como Universo de Gödel - na qual era possível, ao menos teoricamente, viajar no tempo. …”
Get full text
Article