Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

The Gödel Enigma: Unveiling a Hidden Logical Heritage

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

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

Auteurs: Jan von Plato
Publié dans: Vienna Circle institute Library, 2024, ISBN 978-3-031-51970-3
Éditeur: Springer

Kurt Gödel: Results on Foundations

Auteurs: Maria Hämeen-Anttila, Jan von Plato
Publié dans: Sources and Studies in the History of Mathematics and Physical Sciences, 2023
Éditeur: Springer

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

Auteurs: Jan von Plato
Publié dans: Vienna Circle Institute Library, 2022, ISBN 978-3-030-97133-5
Éditeur: Springer

Can Mathematics Be Proved Consistent? Gödel's Shorthand Notes & Lectures on Incompleteness (s’ouvre dans une nouvelle fenêtre)

Auteurs: Jan von Plato
Publié dans: Sources and Studies in the History of Mathematics and Physical Sciences, 2020, ISBN 978-3-030-50876-0
Éditeur: Springer
DOI: 10.1007/978-3-030-50876-0

Kurt Gödel: The Princeton Lectures on Intuitionism

Auteurs: Maria Hämeen-Anttila, Jan von Plato
Publié dans: Sources and Studies in the History of Mathematics and Physical Sciences, 2021, ISBN 978-3-030-87295-3
Éditeur: Springer

Gödel’s Reading of Peano’s Arithmetices Principia (s’ouvre dans une nouvelle fenêtre)

Auteurs: Jan von Plato
Publié dans: Philosophia Scientae, Numéro 25-1, 2021, Page(s) 185-192, ISSN 1281-2463
Éditeur: Numdam (Numerisation de Documents Anciens Mathematiques)
DOI: 10.4000/philosophiascientiae.2821

THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF (s’ouvre dans une nouvelle fenêtre)

Auteurs: ANNIKA KANCKOS, TIM LETHEN
Publié dans: The Review of Symbolic Logic, 2019, Page(s) 1-19, ISSN 1755-0203
Éditeur: Cambridge University Press
DOI: 10.1017/s1755020319000479

NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM (s’ouvre dans une nouvelle fenêtre)

Auteurs: MARIA HÄMEEN-ANTTILA
Publié dans: The Bulletin of Symbolic Logic, Numéro 25/1, 2019, Page(s) 101-124, ISSN 1079-8986
Éditeur: Association for Symbolic Logic
DOI: 10.1017/bsl.2018.91

Von Neumann Explains His Game Theory to Gödel, September 1940 (s’ouvre dans une nouvelle fenêtre)

Auteurs: Jan von Plato
Publié dans: The Mathematical Intelligencer, Numéro 43/1, 2021, Page(s) 42-44, ISSN 0343-6993
Éditeur: Springer Verlag
DOI: 10.1007/s00283-020-10030-0

Gödel’s Results on Foundations

Auteurs: Maria Hämeen-Anttila, Jan von Plato
Publié dans: Kurt Gödel: Results on Foundations, 2023, Page(s) 1-30
Éditeur: Springer

Introduction:Gödel’s functional interpretation in context

Auteurs: Maria Hämeen-Anttila
Publié dans: The Princeton Lectures on Intuitionism, 2021, Page(s) 1-28, ISBN 978-3-030-87295-3
Éditeur: Springer

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

Auteurs: Annika Kanckos, Tim Lethen
Publié dans: The Vienna Circle and Religion, 2022, Page(s) 183-196, ISBN 978-3-030-76150-9
Éditeur: Springer

The exact correspondence between intuitionistic and modal logic

Auteurs: Jan von Plato
Publié dans: Advances in Modal Logic 2024 : Short Papers, 2024, Page(s) 45-50
Éditeur: Advances in Modal Logic 2024

Intuitionistic Derivability in Anderson’s Variant of the Ontological Argument

Auteurs: Annika Kanckos
Publié dans: CEUR Workshop Proceedings : Proceedings of Automated Reasoning in Quantified Non-Classical Logics 2022, 2022, Page(s) 46-63
Éditeur: 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

Auteurs: Annika Kanckos
Publié dans: Metascience, Numéro vol. 31, 2022, Page(s) 239-242
Éditeur: Springer

Gödel on intuitionism and constructive foundations of mathematics

Auteurs: Maria Hämeen-Anttila
Publié dans: 2020, ISBN 978-951-51-5923-6
Éditeur: Helsingin yliopisto

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0