Keyword:no known algorithm decides the finiteness of X

Publications
The Physical Impossibility of Machine Computations on Sufficiently Large Integers Inspires an Open Problem That Concerns Abstract Computable Sets X⊆N and Cannot Be Formalized in the Set Theory ZFC as It Refers to Our Current Knowledge on X Sławomir Kurpaska and Apoloniusz Tyszka EasyChair Preprint 3648