- Tytuł:
- A falsifiable statement Ψ of the form "∃f:N→N of unknown computability such that ...", where ZFC expresses Ψ at any time and Ψ significantly strengthens a non-trivial mathematical theorem
- Autorzy:
- Tyszka, Apoloniusz
- Data publikacji:
- 2024-12-13
- Wydawca:
- Elsevier
- Słowa kluczowe:
-
eventual domination
single-fold Diophantine representation
time-dependent truth in mathematics with the predicate K of the written down mathematical knowledge
predicate K of the written down mathematical knowledge
limit-computable function - Pokaż więcej
- Dostawca treści:
- Repozytorium Centrum Otwartej Nauki
Artykuł