Author:Sławomir Kurpaska
Keyphrasescomplexity of a mathematical definition, computable set X⊆N, current knowledge on X, explicitly known integer n, impossibility of computations on large integers, infiniteness of X remains conjectured, n bounds X from above when X is finite, no known algorithm decides the finiteness of X, statement that cannot be formalized in ZFC. |