Temat: Is 2 - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: 2120297919943148946411837205892771504128704971219136 is greater than the total number of reachable positions in chess in which pawns are always in rows 2-7 and a non-fixed initial position has at most 32 pieces and is almost arbitrary
Autorzy:: Tyszka, Apoloniusz
Współwytwórcy:: Faculty of Production and Power Engineering, University of Agriculture in Krakow
Data publikacji:: 2023-01-11
Słowa kluczowe:: chess in which pawns are always in rows 2-7 and a non-fixed initial position has at most 32 pieces and is almost arbitrary
upper bound for the number of reachable positions in chess; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Książka

Szczegóły

Skocz do pozycji: 2.

Tytuł:: 2120297919943148946411837205892771504128704971219136 is greater than the total number of reachable positions in chess in which pawns are always in rows 2-7 and a non-fixed initial position has at most 32 pieces and is almost arbitrary
Autorzy:: Tyszka, Apoloniusz
Data publikacji:: 2023-01-11
Słowa kluczowe:: upper bound for the number of reachable positions in chess
chess in which pawns are always in rows 2-7 and a non-fixed initial position has at most 32 pieces and is almost arbitrary; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Książka

Szczegóły

Skocz do pozycji: 3.

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

Szczegóły

Skocz do pozycji: 4.

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

Szczegóły

Skocz do pozycji: 5.

Tytuł:: On sets W \subseteq \mathbb{N} such that the infinity of W is equivalent to the existence in W of an element that is greater than a threshold number computed with using the definition of W
Autorzy:: Tyszka, Apoloniusz
Współwytwórcy:: University of Agriculture in Krakow, Faculty of Production and Power Engineering
Data publikacji:: 2018
Słowa kluczowe:: single query to the halting oracle
prime numbers p such that p!+1 is prime
twin prime conjecture
composite Fermat numbers
prime numbers of the form n!-1
prime numbers of the form n!+1
prime numbers of the form n^2+1; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Książka

Szczegóły

Skocz do pozycji: 6.

Tytuł:: On sets W \subseteq \mathbb{N} such that the infinity of W is equivalent to the existence in W of an element that is greater than a threshold number computed with using the definition of W
Autorzy:: Tyszka, Apoloniusz
Data publikacji:: 2018
Słowa kluczowe:: prime numbers of the form n^2+1
prime numbers of the form n!-1
prime numbers of the form n!+1
prime numbers p such that p!+1 is prime
single query to the halting oracle
composite Fermat numbers
twin prime conjecture; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

Szczegóły

Informacja