TR95-025 Authors: Günter Hotz, Gero Vierke, Bjoern Schieffer

Publication: 7th June 1995 15:11

Downloads: 923

Keywords:

In this paper the $R$-machines defined by Blum, Shub and Smale

are generalized by allowing infinite convergent computations.

The description of real numbers is infinite.

Therefore, considering arithmetic operations on real numbers should

also imply infinite computations on {\em analytic machines}.

We prove that $\R$-computable functions are $\Q$-analytic.

We show that $R$-machines extended by finite sets of

{\em strong analytic} operations are still $\Q$-analytic.

The halting problem of the analytic machines contains the stability

problem of dynamic systems.

It follows with well known methods that this problem is not analytical

decidable.

This is in a sense a stronger result as the {\em numerical undecidable}

stability in the theory of Kolmogoroff, Arnold and Moser.

Comment #1 Authors: Günter Hotz, Thomas Chadzelek

Accepted on: 11th May 2001 12:36

Downloads: 943

Keywords:

We correct some minor errors concerning the definitions of delta-Q-machine and robustness.