Uniformity vs Unification - What's the difference?
uniformity | unification |
The state of being uniform, alike and lacking diversity.
The absence of alternativism.
The act of unifying.
The state of being unified.
(mathematical logic, computer science) Given two terms, their join with respect to a specialisation order.
*
As nouns the difference between uniformity and unification
is that uniformity is the state of being uniform, alike and lacking diversity while unification is the act of unifying.uniformity
English
Noun
(-)Derived terms
* (in Wikipedia) * (in Wikipedia)unification
English
Noun
- 5.7.T ( Unification theorem' ) For any two terms or formulas
without quantifiers X and Y, the following holds.
(i) The ' unification algorithm UNIF1, applied to X, Y,
terminates after a finite number of steps.
(ii) {X, Y} is unifiable iff UNIF1 so indicates upon ter-
mination. Moreover, the substitution σ then available as out-
put is a most general unifier of {X, Y}.