The necessary conditions for models of computation

examachine_at_gmail.com
Date: 12/02/04 

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
machinism!

Regards, 

--
Eray Ozkural