finitary

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]
English Wikipedia has an article on:
Wikipedia

Pronunciation

[edit]

Adjective

[edit]

finitary (not comparable)

  1. (mathematics) Of a function, taking a finite number of arguments to produce an output.
  2. (logic) Pertaining to finite-length proofs, each using a finite set of axioms.

Antonyms

[edit]

See also

[edit]