finitary
UK /ˈfɪnɪt(ə)ɹi/ US /ˈfɪnɪtɛɹi/
adj 2
Definitions
adj
1
Of a function, taking a finite number of arguments to produce an output.
2
Pertaining to finite-length proofs, each using a finite set of axioms.
Your note
not saved0 chars
adj
Of a function, taking a finite number of arguments to produce an output.
Pertaining to finite-length proofs, each using a finite set of axioms.