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.
