🚀 go-pugleaf

In lectures we talked about the RAM, a formal machine-model that is proved
to be as powerful as turing-machines(TM) and vice versa, according to the
Church-Turing-Thesis. This seems to be ok until you say, that the RAM allows
only natural numbers in its registers (or rational-numbers, since they are 
countable). Our professor told us, that RAMs are allowed to store REAL numbers
too AND they are  still as powerful as an ordinary turing machine. I claimed, this
can`t be true, since there isn`t any possibility to work with irrational 
numbers in TMs. 

Of course, e.g. you can compute Pi up to as many digits as you want, but in every
step  of computation you only have an approximation - a rational number.

Therefore, a machine-model, that allows real numbers, must be more powerful
than another one that does not. My professor said, that isn`t a problem but
I don`t agree. Who is right?

If I am wrong, please let me know where the fault is.

Thanks in advance.

 
-------------------------------------------------------------------------
Frank Boerncke                       ,,,   University of Passau - Germany
boerncke@kirk.fmi.uni-passau.de     (.~.)            phone: +49 0851 2267
--------------------------------oOO--(_)--OOo---------------------------