Tuesday, 16 February 2016

finitary: Word of the day for February 16, 2016

finitary , adj :
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.

No comments:

Post a Comment