Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

The Gödel Enigma: Unveiling a Hidden Logical Heritage

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Portrait of Young Gödel: Education, First Steps in Logic, the Problem of Completeness

Autores: Jan von Plato
Publicado en: Vienna Circle institute Library, 2024, ISBN 978-3-031-51970-3
Editor: Springer

Kurt Gödel: Results on Foundations

Autores: Maria Hämeen-Anttila, Jan von Plato
Publicado en: Sources and Studies in the History of Mathematics and Physical Sciences, 2023
Editor: Springer

Chapters from Gödel's Unfinished Book on Foundational research in Mathematics

Autores: Jan von Plato
Publicado en: Vienna Circle Institute Library, 2022, ISBN 978-3-030-97133-5
Editor: Springer

Can Mathematics Be Proved Consistent? Gödel's Shorthand Notes & Lectures on Incompleteness (se abrirá en una nueva ventana)

Autores: Jan von Plato
Publicado en: Sources and Studies in the History of Mathematics and Physical Sciences, 2020, ISBN 978-3-030-50876-0
Editor: Springer
DOI: 10.1007/978-3-030-50876-0

Kurt Gödel: The Princeton Lectures on Intuitionism

Autores: Maria Hämeen-Anttila, Jan von Plato
Publicado en: Sources and Studies in the History of Mathematics and Physical Sciences, 2021, ISBN 978-3-030-87295-3
Editor: Springer

Gödel’s Reading of Peano’s Arithmetices Principia (se abrirá en una nueva ventana)

Autores: Jan von Plato
Publicado en: Philosophia Scientae, Edición 25-1, 2021, Página(s) 185-192, ISSN 1281-2463
Editor: Numdam (Numerisation de Documents Anciens Mathematiques)
DOI: 10.4000/philosophiascientiae.2821

THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF (se abrirá en una nueva ventana)

Autores: ANNIKA KANCKOS, TIM LETHEN
Publicado en: The Review of Symbolic Logic, 2019, Página(s) 1-19, ISSN 1755-0203
Editor: Cambridge University Press
DOI: 10.1017/s1755020319000479

NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM (se abrirá en una nueva ventana)

Autores: MARIA HÄMEEN-ANTTILA
Publicado en: The Bulletin of Symbolic Logic, Edición 25/1, 2019, Página(s) 101-124, ISSN 1079-8986
Editor: Association for Symbolic Logic
DOI: 10.1017/bsl.2018.91

Von Neumann Explains His Game Theory to Gödel, September 1940 (se abrirá en una nueva ventana)

Autores: Jan von Plato
Publicado en: The Mathematical Intelligencer, Edición 43/1, 2021, Página(s) 42-44, ISSN 0343-6993
Editor: Springer Verlag
DOI: 10.1007/s00283-020-10030-0

Gödel’s Results on Foundations

Autores: Maria Hämeen-Anttila, Jan von Plato
Publicado en: Kurt Gödel: Results on Foundations, 2023, Página(s) 1-30
Editor: Springer

Introduction:Gödel’s functional interpretation in context

Autores: Maria Hämeen-Anttila
Publicado en: The Princeton Lectures on Intuitionism, 2021, Página(s) 1-28, ISBN 978-3-030-87295-3
Editor: Springer

Kurt Gödel's reception of Charles Hartshorne's ontological proof

Autores: Annika Kanckos, Tim Lethen
Publicado en: The Vienna Circle and Religion, 2022, Página(s) 183-196, ISBN 978-3-030-76150-9
Editor: Springer

The exact correspondence between intuitionistic and modal logic

Autores: Jan von Plato
Publicado en: Advances in Modal Logic 2024 : Short Papers, 2024, Página(s) 45-50
Editor: Advances in Modal Logic 2024

Intuitionistic Derivability in Anderson’s Variant of the Ontological Argument

Autores: Annika Kanckos
Publicado en: CEUR Workshop Proceedings : Proceedings of Automated Reasoning in Quantified Non-Classical Logics 2022, 2022, Página(s) 46-63
Editor: CEUR Workshop Proceedings

Kurt Gödel behind the rational mathematics: Review of S. Budiansky: Journey to the edge of reason - the life of Kurt Gödel

Autores: Annika Kanckos
Publicado en: Metascience, Edición vol. 31, 2022, Página(s) 239-242
Editor: Springer

Gödel on intuitionism and constructive foundations of mathematics

Autores: Maria Hämeen-Anttila
Publicado en: 2020, ISBN 978-951-51-5923-6
Editor: Helsingin yliopisto

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0