🚀 go-pugleaf

|> How about this: 
|> Maybe the model could conceivably represent the reals, but how would any
|> irrational number get into the machine in the first place?  There are 
|> uncountably many irrationals, so a table look-up won't do.  You could
|> try to calculate them, but how do you calculate, say, pi, with only 
|> Turing-machine-like operations?
|> 
|> So, at first glance, it looks like this machine is equivalent to the RAM
|> model with rationals plus a finite number of irrationals you could have in
|> a table.  This is equivalent to a Turing machine.
|> 
|> Anybody buy that?
How is it possible to work with irrationals in a table? Of course you cannot store
them digit by digit as there is an infinite number. But if you choose a finite 
representation e.g. two letters P and I for the sequence 3.141592654... how can 
you calculate say PI * PI? 
 
-------------------------------------------------------------------------
Frank Boerncke                       ,,,   University of Passau - Germany
boerncke@kirk.fmi.uni-passau.de     (.~.)            phone: +49 0851 2267
--------------------------------oOO--(_)--OOo---------------------------