The Gödel Enigma: Unveiling a Hidden Logical Heritage

Informazioni relative al progetto

GODELIANA

ID dell’accordo di sovvenzione: 787758

DOI

10.3030/787758

Progetto chiuso

Data della firma CE 27 Aprile 2018

Data di avvio 1 Settembre 2018

Data di completamento 31 Agosto 2024

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 2 132 993,00

Contributo UE

€ 2 132 993,00

Coordinato da

HELSINGIN YLIOPISTO
Finland

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Monographic books (5)

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

Autori: Jan von Plato
Pubblicato in: Vienna Circle institute Library, 2024, ISBN 978-3-031-51970-3
Editore: Springer

Kurt Gödel: Results on Foundations

Autori: Maria Hämeen-Anttila, Jan von Plato
Pubblicato in: Sources and Studies in the History of Mathematics and Physical Sciences, 2023
Editore: Springer

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

Autori: Jan von Plato
Pubblicato in: Vienna Circle Institute Library, 2022, ISBN 978-3-030-97133-5
Editore: Springer

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

Autori: Jan von Plato
Pubblicato in: Sources and Studies in the History of Mathematics and Physical Sciences, 2020, ISBN 978-3-030-50876-0
Editore: Springer
DOI: 10.1007/978-3-030-50876-0

Kurt Gödel: The Princeton Lectures on Intuitionism

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

Peer reviewed articles (4)

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

Autori: Jan von Plato
Pubblicato in: Philosophia Scientae, Numero 25-1, 2021, Pagina/e 185-192, ISSN 1281-2463
Editore: Numdam (Numerisation de Documents Anciens Mathematiques)
DOI: 10.4000/philosophiascientiae.2821

THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF

Autori: ANNIKA KANCKOS, TIM LETHEN
Pubblicato in: The Review of Symbolic Logic, 2019, Pagina/e 1-19, ISSN 1755-0203
Editore: Cambridge University Press
DOI: 10.1017/s1755020319000479

NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM

Autori: MARIA HÄMEEN-ANTTILA
Pubblicato in: The Bulletin of Symbolic Logic, Numero 25/1, 2019, Pagina/e 101-124, ISSN 1079-8986
Editore: Association for Symbolic Logic
DOI: 10.1017/bsl.2018.91

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

Autori: Jan von Plato
Pubblicato in: The Mathematical Intelligencer, Numero 43/1, 2021, Pagina/e 42-44, ISSN 0343-6993
Editore: Springer Verlag
DOI: 10.1007/s00283-020-10030-0

Book chapters (3)

Gödel’s Results on Foundations

Autori: Maria Hämeen-Anttila, Jan von Plato
Pubblicato in: Kurt Gödel: Results on Foundations, 2023, Pagina/e 1-30
Editore: Springer

Introduction:Gödel’s functional interpretation in context

Autori: Maria Hämeen-Anttila
Pubblicato in: The Princeton Lectures on Intuitionism, 2021, Pagina/e 1-28, ISBN 978-3-030-87295-3
Editore: Springer

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

Autori: Annika Kanckos, Tim Lethen
Pubblicato in: The Vienna Circle and Religion, 2022, Pagina/e 183-196, ISBN 978-3-030-76150-9
Editore: Springer

Conference proceedings (2)

The exact correspondence between intuitionistic and modal logic

Autori: Jan von Plato
Pubblicato in: Advances in Modal Logic 2024 : Short Papers, 2024, Pagina/e 45-50
Editore: Advances in Modal Logic 2024

Intuitionistic Derivability in Anderson’s Variant of the Ontological Argument

Autori: Annika Kanckos
Pubblicato in: CEUR Workshop Proceedings : Proceedings of Automated Reasoning in Quantified Non-Classical Logics 2022, 2022, Pagina/e 46-63
Editore: 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

Autori: Annika Kanckos
Pubblicato in: Metascience, Numero vol. 31, 2022, Pagina/e 239-242
Editore: Springer

Thesis and dissertations (1)

Gödel on intuitionism and constructive foundations of mathematics

Autori: Maria Hämeen-Anttila
Pubblicato in: 2020, ISBN 978-951-51-5923-6
Editore: Helsingin yliopisto