prover

From Wiktionary, the free dictionary
Jump to navigation Jump to search
See also: prøver

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, Jean Paul Van Bendegem, “Pi on Earth, or Mathematics in the Real World”, in Erkenntnis, volume 68, number 3, →DOI:
      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

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. Old French conjugation varies significantly by date and by region. The following conjugation should be treated as a guide.

Derived terms[edit]

Related terms[edit]

Descendants[edit]

  • French: prouver
  • German: prüfen
  • Old English: prōfian

Portuguese[edit]

Etymology[edit]

From Latin prōvidēre, with the loss of the second syllable. By surface analysis, pro- +‎ ver.

Pronunciation[edit]

 
 

Verb[edit]

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

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

Conjugation[edit]

Related terms[edit]

Swedish[edit]

Noun[edit]

prover

  1. indefinite plural of prov