- Tytuł:
- Theorems and open problems that concern decidable sets X \subseteq {\mathb N} and cannot be formalized in mathematics understood as an a priori science as they refer to the current knowledge on X
- Autorzy:
-
Tyszka, Apoloniusz
Kozdęba, Agnieszka - Data publikacji:
- 2022-02-21
- Słowa kluczowe:
-
conjecturally infinite sets X \subseteq {\mathbb N}
physical limits of computation
constructively defined algorithms which are currently known
constructively defined integer n satisfies card(X)<\omega => X \subseteq (-\infty n]
algorithms whose existence is provable in ZFC
primes of the form n^2+1
known elements of a set X \subseteq {\mathbb N} whose infiniteness is false or unproven
mathematical definitions and theorems with epistemic and informal notions - Pokaż więcej
- Dostawca treści:
- Repozytorium Centrum Otwartej Nauki
Książka