AUTHOREA
Log in Sign Up Browse Preprints

April 10, 2026
There exists a non-recursively enumerable set {n ∈ N : φ(n)} such that the formula φ(...
Apoloniusz Tyszka
March 17, 2026
There exists a non-recursively enumerable subset of N which has a short description i...
Apoloniusz Tyszka
December 02, 2025
Two undecidable decision problems on an ordered pair of non-negative integers
Apoloniusz Tyszka
August 12, 2025
A short computer program that computes in the limit a non-computable function from N...
Apoloniusz Tyszka
July 16, 2025
The most effective proof that there exists a non-computable function from N to N    
Apoloniusz Tyszka
July 11, 2025
The most effective proof that there exists a non-computable function from N to N
Apoloniusz Tyszka