finitary
English
WOTD – 16 February 2016
Pronunciation
- (UK) IPA(key): /ˈfɪnɪt(ə)ɹi/, /ˈfaɪnɪ(ə)tɹi/
Audio (Southern England): (file) - (US) IPA(key): /ˈfɪnɪtɛɹi/
Adjective
finitary (not comparable)
- (mathematics) Of a function, taking a finite number of arguments to produce an output.
- (logic) Pertaining to finite-length proofs, each using a finite set of axioms.