Drixified
simply entertainment... all day, everyday.
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
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment