ONT Re: cursiveness
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
DM = Douglas McDavid
DM: I don't think he's talking about computability.
I think he's talking about "computer program"
as an ontological category of things
of interest in the world.
???
if a program falls in the forest,
and there's no machine to run it,
does that compute to you?
a computer program z is a thing of the genus 'sign'.
ultimately, it's a string of binary digits, z in B*.
if it is not intended as the control input sequence
to some machine, i do not know what the devil it is!
jon awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤