Computability & Representability
From the view point of functionality, there are two kinds of knowledge about a specific domain: one is specificational knowledge and the other is implementational knowledge. The latter is also called constructive knowledge. In computer science, the former is the specification for the software while the latter consists of the actual algorithms and programs used to implement the software. These two kinds of knowledge describe two different aspects of the same thing. Specificational knowledge describes the object by its properties. These might include principles, laws and theorems as well as describing functionality and other requirements. Implementational knowledge explains how to construct the object; it usually includes algorithms, rules of operation and methods of implementation as well as examples.
KeywordsNatural Number Formal Theory Turing Machine Recursive Function Assignment Statement
Unable to display preview. Download preview PDF.