The Gödel Enigma: Unveiling a Hidden Logical Heritage

Projektinformationen

GODELIANA

ID Finanzhilfevereinbarung: 787758

DOI

10.3030/787758

Projekt abgeschlossen

EK-Unterschriftsdatum 27 April 2018

Startdatum 1 September 2018

Enddatum 31 August 2024

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 2 132 993,00

EU-Beitrag

€ 2 132 993,00

Koordiniert durch

HELSINGIN YLIOPISTO
Finland

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Monographic books (5)

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

Autoren: Jan von Plato
Veröffentlicht in: Vienna Circle institute Library, 2024, ISBN 978-3-031-51970-3
Herausgeber: Springer

Kurt Gödel: Results on Foundations

Autoren: Maria Hämeen-Anttila, Jan von Plato
Veröffentlicht in: Sources and Studies in the History of Mathematics and Physical Sciences, 2023
Herausgeber: Springer

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

Autoren: Jan von Plato
Veröffentlicht in: Vienna Circle Institute Library, 2022, ISBN 978-3-030-97133-5
Herausgeber: Springer

Can Mathematics Be Proved Consistent? Gödel's Shorthand Notes & Lectures on Incompleteness

Autoren: Jan von Plato
Veröffentlicht in: Sources and Studies in the History of Mathematics and Physical Sciences, 2020, ISBN 978-3-030-50876-0
Herausgeber: Springer
DOI: 10.1007/978-3-030-50876-0

Kurt Gödel: The Princeton Lectures on Intuitionism

Autoren: Maria Hämeen-Anttila, Jan von Plato
Veröffentlicht in: Sources and Studies in the History of Mathematics and Physical Sciences, 2021, ISBN 978-3-030-87295-3
Herausgeber: Springer

Peer reviewed articles (4)

Gödel’s Reading of Peano’s Arithmetices Principia

Autoren: Jan von Plato
Veröffentlicht in: Philosophia Scientae, Ausgabe 25-1, 2021, Seite(n) 185-192, ISSN 1281-2463
Herausgeber: Numdam (Numerisation de Documents Anciens Mathematiques)
DOI: 10.4000/philosophiascientiae.2821

THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF

Autoren: ANNIKA KANCKOS, TIM LETHEN
Veröffentlicht in: The Review of Symbolic Logic, 2019, Seite(n) 1-19, ISSN 1755-0203
Herausgeber: Cambridge University Press
DOI: 10.1017/s1755020319000479

NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM

Autoren: MARIA HÄMEEN-ANTTILA
Veröffentlicht in: The Bulletin of Symbolic Logic, Ausgabe 25/1, 2019, Seite(n) 101-124, ISSN 1079-8986
Herausgeber: Association for Symbolic Logic
DOI: 10.1017/bsl.2018.91

Von Neumann Explains His Game Theory to Gödel, September 1940

Autoren: Jan von Plato
Veröffentlicht in: The Mathematical Intelligencer, Ausgabe 43/1, 2021, Seite(n) 42-44, ISSN 0343-6993
Herausgeber: Springer Verlag
DOI: 10.1007/s00283-020-10030-0

Book chapters (3)

Gödel’s Results on Foundations

Autoren: Maria Hämeen-Anttila, Jan von Plato
Veröffentlicht in: Kurt Gödel: Results on Foundations, 2023, Seite(n) 1-30
Herausgeber: Springer

Introduction:Gödel’s functional interpretation in context

Autoren: Maria Hämeen-Anttila
Veröffentlicht in: The Princeton Lectures on Intuitionism, 2021, Seite(n) 1-28, ISBN 978-3-030-87295-3
Herausgeber: Springer

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

Autoren: Annika Kanckos, Tim Lethen
Veröffentlicht in: The Vienna Circle and Religion, 2022, Seite(n) 183-196, ISBN 978-3-030-76150-9
Herausgeber: Springer

Conference proceedings (2)

The exact correspondence between intuitionistic and modal logic

Autoren: Jan von Plato
Veröffentlicht in: Advances in Modal Logic 2024 : Short Papers, 2024, Seite(n) 45-50
Herausgeber: Advances in Modal Logic 2024

Intuitionistic Derivability in Anderson’s Variant of the Ontological Argument

Autoren: Annika Kanckos
Veröffentlicht in: CEUR Workshop Proceedings : Proceedings of Automated Reasoning in Quantified Non-Classical Logics 2022, 2022, Seite(n) 46-63
Herausgeber: CEUR Workshop Proceedings

Other (1)

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

Autoren: Annika Kanckos
Veröffentlicht in: Metascience, Ausgabe vol. 31, 2022, Seite(n) 239-242
Herausgeber: Springer

Thesis and dissertations (1)

Gödel on intuitionism and constructive foundations of mathematics

Autoren: Maria Hämeen-Anttila
Veröffentlicht in: 2020, ISBN 978-951-51-5923-6
Herausgeber: Helsingin yliopisto