n South African Computer Journal - Towards an axiomatic computational model : reviewed article




A new model of computation based on axiomatic logic is explored. The significant difference from other models is how reasoning about variables is expressed. The computation is described only by defining variables in terms of other variables. The variables have the mathematical property that each variable has a unique reference. The number of variables are not limited. Generalized relationships allow define classes of infinitely many variables. The benefits are: the simplicity of semantics of the axiomatic logic that simplifies the formal reasoning about a program; the model only captures the data dependencies resulting in an inherently parallel model of computation, and the expression of a program maps directly onto the model of computation. The unanswered question is the feasibility of an efficient hardware implementation. The model is described in the form of a tutorial that develops the model from simple natural deduction using axiomatic reasoning to do the computation. A simple example is used to illustrate how a program can be expressed in this model and how a result is inferred for a given input.


Article metrics loading...

This is a required field
Please enter a valid email address
Approval was a Success
Invalid data
An Error Occurred
Approval was partially successful, following selected items could not be processed due to error