An approach for implementing TUNES

Alan Grimes
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.