Finitary vs Infinitary - What's the difference?
finitary | infinitary | Related terms |
Of a function, taking a finite number of arguments to produce an output.
(label) Pertaining to finite-length proofs, each using a finite set of axioms.
(mathematics, logic) Of or pertaining to expressions of infinite length
