- 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 - Współwytwórcy:
-
Hugo Kołłątaj University
Faculty of Mathematics and Computer Science of the Jagiellonian University - Data publikacji:
- 2022-02-21
- Słowa kluczowe:
-
constructively defined algorithms which are currently known
known elements of a set X \subseteq {\mathbb N} whose infiniteness is false or unproven
conjecturally infinite sets X \subseteq {\mathbb N}
constructively defined integer n satisfies card(X)<\omega => X \subseteq (-\infty n]
physical limits of computation
algorithms whose existence is provable in ZFC
mathematical definitions and theorems with epistemic and informal notions
primes of the form n^2+1 - Pokaż więcej
- Dostawca treści:
- Repozytorium Centrum Otwartej Nauki
Książka