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]
[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