Re: Rationals vs Reals in Comp

2013-04-28 Thread Bruno Marchal
On 27 Apr 2013, at 17:10, John Mikes wrote: Dear Stathis and Bruno, Stathis' reply is commendable, with one excessive word: r e a l . I asked Bruno several times to 'identify' the term 'number' in common-sense language. So far I did not understand such (my mistake?) I still hold

Re: Rationals vs Reals in Comp

2013-04-28 Thread Russell Standish
On Sun, Apr 28, 2013 at 02:15:31PM +0200, Bruno Marchal wrote: I know you like Robert Rosen, who asserted that Church Turing thesis is false, but he has not convinced me at all on this. Where did he assert this? Admittedly, I haven't read all his works, mainly just What is life?, but I