prover

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Etymology[edit]

prove +‎ -er

Noun[edit]

prover (plural provers)

  1. One who or that which proves.
  2. A person, device, or program that performs logical or mathematical proofs.
    • 2008, January 31, “Bart Van Kerkhove and Jean Paul Van Bendegem”, Pi on Earth, or Mathematics in the Real World, volume 68, number 3, DOI:10.1007/s10670-008-9102-5: 
      The prover belongs to a family of checking devices, Turing machines or sequences of these, that are capable of establishing the probable correctness of solutions for very large classes of problems.

Derived terms[edit]


Old French[edit]

Alternative forms[edit]

Etymology[edit]

From Latin probāre, present active infinitive of probō.

Verb[edit]

prover

  1. to prove

Related terms[edit]

Conjugation[edit]

This verb conjugates as a first-group verb ending in -er. The forms that would normally end in *-v, *-vs, *-vt are modified to f, s, t. This verb has a stressed present stem pruev distinct from the unstressed stem prov, as well as other irregularities. Old French conjugation varies significantly by date and by region. The following conjugation should be treated as a guide.

Descendants[edit]


Portuguese[edit]

Verb[edit]

prover (first-person singular present indicative provejo, past participle provido)

  1. to provide (to give what is needed or desired)

Conjugation[edit]


Swedish[edit]

Noun[edit]

prover

  1. indefinite plural of prov