An approach for implementing TUNES

Alan Grimes ogrimes@bellatlantic.net
Sat, 10 Apr 1999 22:14:13 -0700


About Machines and proovability. In regards to that issue I came up with this
idea: Lets specify or select an arbitrary machine that can have any simple
design we choose. It would be a scientist's only machine that could be used to
reliably test software concepts in a streight forward if not simple way. :)

-- 
The anemony of my enemy is my friend.

atc.peon.net/~cyborg/