Re: ONT Re: cursiveness
From: "Jon Awbrey" <jawbrey@oakland.edu>
> 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.
Yes :) Subsequently I found this in sumo:
Procedure
http://ontology.teknowledge.com:8080/rsigma/SKB.jsp?req=SC&skb=Merge&id=832
ComputerProgram
http://ontology.teknowledge.com:8080/rsigma/SKB.jsp?req=SC&skb=Merge&id=833
(subclass ComputerProgram Procedure)
(documentation ComputerProgram "A set of instructions in a computer
programming language that can be executed by a computer.")
(subclass Procedure Proposition)
(documentation Procedure "A sequence-dependent specification. Some examples
are &%ComputerPrograms, finite-state machines, cooking recipes, musical
scores, conference schedules, driving directions, and the scripts of plays
and movies.")
(subclass ComputerProgram Procedure)
(subclass Plan Procedure)
> if a program falls in the forest,
> and there's no machine to run it,
> does that compute to you?
No.
> 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!
I suppose a sumo:ComputerProgram is a sign where:
string of bits = s (sign vehicle - the actual string of binary digits)
computer = i (interpertant)
computer behaviro = o (object)
Accordint to sumo, it's also a proposition.
Seth Russell