Like the function, the value is a mechanism that assists in managing a set of axioms and laws. Value is used in simplifying the test for equality. Equality may be described as equality of value.

A value is the result of an evaluation function, which associates a value with an expression. It is a mapping from the domain of expressions to the domain of values.

For example,

Therefore,

Values and evaluation provide a guiding principle for the application axioms to identify when expressions are equal.

Literal expressions

edit

Where as an evaluation function interprets an expression as representing a value, a literal function interprets an expression as a formula or recipe for calculating a value, which has intrinsic identity. A literal expression is the result of the literal function, which associates a literal expression with an expression.

Value equality  
Literal equality  

When we say that two expressions are equal we mean there values are equal.

When we say that two expressions are identical we mean there literal expressions are equal. For example the following two expressions are regarded as identical, because the name of subscript does not effect the meaning of the function.

 

There are three domains described here;

Domain of expressions    
Domain of values    
Domain of literal expressions    

In each domain, equality may be defined differently.

Values as literal expressions

edit

One possibility is for values to be equated with a subset of the literal expressions. These expressions are identified by a function  

 

or

 

The function C identifies which expressions represent values. This is the approach used in arithmetic.

An example from arithmetic

edit

Familiarity with arithmetic makes it hard to recognise the role of a value in making a calculation. To bring attention to the issue the following trivial example is taken apart in detail.

Suppose C is defined so that on a number it returns true and for other functions false. Then,

 
 
 

For example to evaluate,

 
 
 
 
 
 

Then,

 
 

And as 60 is identical to 60 the expressions are equal.

Literal expressions as values

edit

To use literal expressions as values, a subset of literal expressions must be identified. All operators must be shown to have values already represented in the set (the set is closed under the operation). A single literal expression must be identified for each element in the set and the function C must be defined to identify those literal expressions.

From values to mappings

edit

Once values have been defined the function may be defined as the mapping from a values to values. Functions also provide a guiding principle for evaluation.

References

edit

See also

edit