Affiliations: Department of Engineering and Science, Rensselaer Polytechnic Institute, 275 Windsor Street, Hartford, CT 06120, USA. eberbe@rpi.edu
Note: [*] The author would like to thank anonymous reviewers for their comments and criticism.
Note: [†] Address for correspondence: 114 Lake Street, Seekonk, MA 02771, USA.
Abstract: In the paper we define the class of hypercomputation complete and hard undecidable problems. We prove that typical unsolvable problems are decidable in infinity. We hypothesize that all undecidable problems can be reduced in infinity to each other, i.e., they are ℋ-complete (hypercomputation complete). We propose also two other classes: 𝒰-complete (universal complete) and 𝒟-complete (diagonalization complete) that use asymptotic reduction and allow separate non- RE and RE non-recursive undecidable classes.
