Clinton Freeman cfreeman

## working-program.md

      
              1 file
            
          
              0 forks
            
          
              3 comments
            
          
              1 star
            
          
                tonymorris
                / working-program.md
            
            
              Last active
              August 29, 2015 14:02
            
              
                Working program
              
          
    Working


A thing, such as a computer program, is described as working if an ultimate goal for that thing can be stated and that thing meets that goal.


A thing, such as a computer program, is described as approximately working, if an ultimate goal for that thing can be stated and that thing meets a significant set of goals that comprise the ultimate goal.


A thing, such as a computer program, is described as not working, if an ultimate goal for that thing can be stated and that thing does not meet the ultimate goal, or meets a trivially insignificant set of goals that compromise the ultimate goal.


The method by which a goal is broken into sub-goals is formally prescribed, by an epistemological effort and by drawing on fundamental concepts of computing. The method is summarised below.