Re: Turing completeness of the functional paradigm?



Babylonian wrote:

> Sequentiality, as denoted by the successor relation, is a ordinarily
> thought of as a property of time, not space.

But some guy once said that the universe is a timeless manifold, his
name was ... no, I will not recall. E.. something.

> With great trepidation I
> ask - why is this so serious?

Look where it gets you:

I show how Plato's theory, as it applies to mathematical objects, is
essentially a primitve version of modern recursion theory, which has
all the essential elements of the ancient theory.
http://home.ican.net/~arandall/Plato/

We believe that metaphysics should strive for no less than mathematics.
http://mally.stanford.edu/computation.pdf

Thank you for writing.
Tom

.