prover

EnglishEdit

EtymologyEdit

prove + -er

NounEdit

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 termsEdit


Old FrenchEdit

VerbEdit

prover

  1. Alternative form of prouver.

ConjugationEdit

  • Old French conjugation varies significantly by date and by region. The following conjugation should be treated as a guide.

PortugueseEdit

VerbEdit

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

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

ConjugationEdit


SwedishEdit

NounEdit

prover

  1. indefinite plural of prov
Last modified on 11 April 2014, at 18:12