O Bruno, Bruno! First you snip my post you respond to so no one can tell that my quote applied to a very specific example given by Stathis which you snipped out, and NOT to what your quote implies it referred to.
Second you once again repeat the charge I haven't explained what I mean by computation, and simultaneously accuse me of using "a non-standard notion of computation". Please, you are contradicting yourself here, since how do you know it's non-standard if you admit you don't know what it is? And I have explained what I mean by computation, and by a computational universe on multiple occasions, several times in direct response to you asking that question. And I do use computation in a standard way as analogous to how computers compute results which is essentially how Turing used it. All in all, your continued repeated posts seem intellectually dishonest, I'm sorry to say... Edgar On Monday, February 24, 2014 11:52:43 AM UTC-5, Bruno Marchal wrote: > > > On 24 Feb 2014, at 14:26, Edgar L. Owen wrote: > > It assumes a RUNNING computer which assumes a flowing time. > > > Not at all. you can hope that there is a physical universe capable of > running a computation, but a computation is a mathematical, even > arithmetical notion. > > The existence of any ending computations, and of all finite pieces of non > ending computations, can be proved in quite tiny theory. > > The notion of running a computer does not need to assume a flowing time. > You need to assume no more than the laws of addition and multiplication and > classical logic. > > I am afraid you are using a highly non standard notion of computation, and > I remind you that I asked regularly what you mean by "computation". It is > clearly not the standard notion, which is a mathematical notion not > involving anything physical, notably, time. > > Bruno > > > > > http://iridia.ulb.ac.be/~marchal/ > > > > -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.
