Turing completeness of the functional paradigm?
- From: "Tom" <tkorna@xxxxx>
- Date: 13 Jul 2005 04:59:56 -0700
Hello,
It seems to be the case that _on the absolute scale of things_
temporality is entirely eliminable within the functional paradigm (with
the ideas of state / assignment being merely abstractions, and a state
machine simply a set of spatial, and atemporal sequences).
(This is hinted by Prof. Abelson in a lecture on streams (L6b):
http://swiss.csail.mit.edu/classes/6.001/abelson-sussman-lectures/
with a remark on the nonplausibility of such an approach
implementationally. Still, it is the absolute case that I am after.)
Actually, having pondered Peano's axioms a little more carefully, I
have concluded that there seem to be no nospatial relations whatsoever.
Please, is my thinking erroneous (again, on the absolute scale of
things, and not implementationally)?
Thank you.
Tom
.
- Follow-Ups:
- Re: Turing completeness of the functional paradigm?
- From: William Elliot
- Re: Turing completeness of the functional paradigm?
- Prev by Date: Re: Completeness
- Next by Date: Re: Need a proof (or disproof) of this conjecture
- Previous by thread: Re: Completeness
- Next by thread: Re: Turing completeness of the functional paradigm?
- Index(es):