Transcendent vs Unification - What's the difference?
transcendent | unification |
surpassing usual limits
beyond the range of usual perception
free from constraints of the material world
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 transcendent and unification
is that transcendent is that which surpasses or is supereminent; something excellent while unification is the act of unifying.As an adjective transcendent
is surpassing usual limits.transcendent
English
Adjective
(en adjective)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}.