See also: prøver

English

edit

Etymology

edit

From 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

Anagrams

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
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
edit

Swedish

edit

Noun

edit

prover

  1. indefinite plural of prov