> It is already known that a computer with access to real numbers with infinite precision can perform hypercomputation

I took an interest in this area once, and this is not true. "Computable analysis / computable topology" says quite the opposite.