PaperOn a theory of computation and complexity over the real numbers: Np-completeness, recursive functions and universal machines