Results 1 
4 of
4
How to compare the power of computational models
 In Computability in Europe 2005: New Computational Paradigms
, 2005
"... Abstract. We argue that there is currently no satisfactory general framework for comparing the extensional computational power of arbitrary computational models operating over arbitrary domains. We propose a conceptual framework for comparison, by linking computational models to hypothetical physica ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
(Show Context)
Abstract. We argue that there is currently no satisfactory general framework for comparing the extensional computational power of arbitrary computational models operating over arbitrary domains. We propose a conceptual framework for comparison, by linking computational models to hypothetical physical devices. Accordingly, we deduce a mathematical notion of relative computational power, allowing the comparison of arbitrary models over arbitrary domains. In addition, we claim that the method commonly used in the literature for “strictly more powerful” is problematic, as it allows for a model to be more powerful than itself. On the positive side, we prove that Turing machines and the recursive functions are “complete ” models, in the sense that they are not susceptible to this anomaly, justifying the standard means of showing that a model is “hypercomputational.” 1
Cybernetics Oriented Programming (CYBOP)  An Investigation on the Applicability of InterDisciplinary Concepts to Software System Development
 ILMENAU
, 2007
"... In today's society, information and knowledge increasingly gain in importance. Software as one form of knowledge abstraction plays an important role thereby. The main difficulty in creating software is to cross the abstraction gap between concepts of human thinking and the requirements of a mac ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
In today's society, information and knowledge increasingly gain in importance. Software as one form of knowledge abstraction plays an important role thereby. The main difficulty in creating software is to cross the abstraction gap between concepts of human thinking and the requirements of a machinelike representation.
Conventional paradigms of software design have managed to increase their level of abstraction, but still exhibit quite a few weaknesses. This work compares and improves traditional concepts of software development through ideas taken from other sciences and phenomenons of nature, respectively  therefore its name: cyberneticsoriented.
Three recommendations resulting from this interdisciplinary approach are: (1) a strict separation of active systemcontrol software from pure, passive knowledge; (2) the usage of a new schema for knowledge representation, which is based on a doublehierarchy modelling wholepart relationships and meta information in a combined manner; (3) a distinct treatment of knowledge models representing states from those containing logic.
For representing knowledge according to the proposed schema, an XMLbased language named CYBOL was defined and a corresponding interpreter called CYBOI developed. Despite its simplicity, CYBOL is able to describe knowledge completely. A Free/ Open Source Software project called Res Medicinae was founded to proof the general operativeness of the CYBOP approach.
CYBOP offers a new theory of programming which seems to be promising, since it not only eliminates deficiencies of existing paradigms, but prepares the way for more flexible, longlife application systems. Because of its easily understandable concept of hierarchy, domain experts are put in a position to, themselves, actively contribute to application development. The implementation phase found in classical software engineering processes becomes superfluous.
A Hypercomputational Alien
, 2005
"... Is there a physical constant with the value of the halting function? An answer to this question, as holds true for other discussions of hypercomputation, assumes a fixed interpretation of nature by mathematical entities. We discuss the subjectiveness of viewing the mathematical properties of nature, ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Is there a physical constant with the value of the halting function? An answer to this question, as holds true for other discussions of hypercomputation, assumes a fixed interpretation of nature by mathematical entities. We discuss the subjectiveness of viewing the mathematical properties of nature, and the possibility of comparing computational models having different views of the world. For that purpose, we propose a conceptual framework for power comparison, by linking computational models to hypothetical physical devices. Accordingly, we deduce a mathematical notion of relative computational power, allowing for the comparison of arbitrary models over arbitrary domains. In addition, we claim that the method commonly used in the literature for “strictly more powerful ” is problematic, as it allows for a model to be more powerful than itself. On the positive side, we prove that Turing machines and the recursive functions are “complete ” models, in the sense that they are not susceptible to this anomaly, justifying the standard means of showing that a model is more powerful than Turing machines.