<div class="csl-bib-body">
<div class="csl-entry">Müller, S. (2024, October 9). <i>A Scenario for Solving Gödel’s Problem</i> [Presentation]. The Boundaries of Mathematics – From Gödel to the Study of Large Infinites, Wien, Austria. http://hdl.handle.net/20.500.12708/209029</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/209029
-
dc.description.abstract
After proving that not all statements in mathematics can be proven or disproven from the accepted ZFC axioms, Gödel raised the question whether natural statements, such as Cantor’s continuum hypothesis, can be decided via extending the axiomatic framework by axioms of large infinities. While this question has been answered in the negative, the problem of finding good axioms that decide natural mathematical statements remains open. There is a compelling candidate for an axiom that could solve Gödel’s problem: V = Ultimate L. We motivate and describe this candidate together with strong evidence provided by recent advances in Set Theory indicating that it is indeed the likely candidate Gödel was aiming for.
en
dc.language.iso
en
-
dc.subject
Determinacy
en
dc.subject
Large Cardinal
en
dc.subject
Gödel
en
dc.title
A Scenario for Solving Gödel’s Problem
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.type.category
Presentation
-
tuw.researchTopic.id
A3
-
tuw.researchTopic.name
Fundamental Mathematics Research
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104-08 - Forschungsbereich Mengenlehre
-
tuw.author.orcid
0000-0002-7224-187X
-
tuw.event.name
The Boundaries of Mathematics – From Gödel to the Study of Large Infinites
en
tuw.event.startdate
09-10-2024
-
tuw.event.enddate
09-10-2024
-
tuw.event.online
Hybrid
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Wien
-
tuw.event.country
AT
-
tuw.event.institution
Austrian Academy of Sciences
-
tuw.event.presenter
Müller, Sandra
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
5
-
wb.sciencebranch.value
95
-
item.languageiso639-1
en
-
item.openairetype
conference presentation
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/R60J-J5BD
-
crisitem.author.dept
E104-08 - Forschungsbereich Mengenlehre
-
crisitem.author.orcid
0000-0002-7224-187X
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
