The necessary conditions for models of computation
Date: 2 Dec 2004 01:15:32 -0800
In response to the poll question, Bill gave a link and said that it is
ATOMISM and RELATIVISM which some people consider as essential to
models of computation.
I think relativity is a misunderstanding, probably based on Putnam's
facetious philosophical analysis. Relativism plays no central role.
More fundamentally we have three things going on:
1. Discreteness (Atomism)
2. Mechanism (Determinism)
3. Finite being (Finitism)
That is, lambda calculus, cellular automata, etc. are really universal
models of physical discrete machines, and nothing else. Long live
-- Eray Ozkural