prover

English

Etymology

prove +‎ -er

Noun

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”, in 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

Old French

Alternative forms

Etymology

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

Verb

prover

  1. to prove

Conjugation

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.

    Conjugation of prover (see also Appendix:Old French verbs)
simple compound
infinitive prover avoir prové
gerund en provant Use the gerund of avoir followed by the past participle
present participle provant
past participle prové
person singular plural
first second third first second third
indicative jo tu il nos vos il
simple
tenses		 present pruis prueves prueve provons provez pruevent
imperfect provoie, proveie, provoe, proveve provoies, proveies, provoes, proveves provoit, proveit, provot, proveve proviiens, proviens proviiez, proviez provoient, proveient, provoent, provevent
preterite provai provas prova provames provastes proverent
future proverai proveras provera proverons proveroiz, provereiz, proverez proveront
conditional proveroie, provereie proveroies, provereies proveroit, provereit proveriiens, proveriens proveriiez, proveriez proveroient, provereient
compound
tenses		 present perfect Use the present tense of avoir followed by the past participle
pluperfect Use the imperfect tense of avoir followed by the past participle
past anterior Use the preterite tense of avoir followed by the past participle
future perfect Use the future tense of avoir followed by the past participle
conditional perfect Use the conditional tense of avoir followed by the past participle
subjunctive que jo que tu qu’il que nos que vos qu’il
simple
tenses		 present pruisse pruisses pruisse, pruist provons, pruissiens, pruissons provez, pruissiez pruissent
imperfect provasse provasses provast provissons, provissiens provissoiz, provissez, provissiez provassent
compound
tenses		 past Use the present subjunctive of avoir followed by the past participle
pluperfect Use the imperfect subjunctive of avoir followed by the past participle
imperative – tu – nos vos –
— pruisse — provons provez —

Descendants

Portuguese

Etymology

From Latin prōvidēre, present active infinitive of prōvideō, with the loss of the second syllable.

Verb

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

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

Conjugation
  Conjugation of the Portuguese -er verb prover
Notes:[edit]
  • This is an irregular verb of the -er group.
  • Verbs with this conjugation include: prover.
Singular Plural
First-person
(eu)		 Second-person
(tu)		 Third-person
(ele / ela / você)		 First-person
(nós)		 Second-person
(vós)		 Third-person
(eles / elas / vocês)
Infinitive
Impersonal prover
Personal prover proveres prover provermos proverdes proverem
Gerund
provendo
Past participle
Masculine provido providos
Feminine provida providas
Indicative
Present provejo provês provê provemos provedes proveem
Obsolete:
provêem
Imperfect provia provias provia províamos províeis proviam
Preterite provi proviste proveu provemos provestes proveram
Pluperfect provera proveras provera provêramos provêreis proveram
Future proverei proverás proverá proveremos provereis proverão
Conditional
proveria proverias proveria proveríamos proveríeis proveriam
Subjunctive
Present proveja provejas proveja provejamos provejais provejam
Imperfect provesse provesses provesse provêssemos provêsseis provessem
Future prover proveres prover provermos proverdes proverem
Imperative
Affirmative - provê proveja provejamos provede provejam
Negative (não) - provejas proveja provejamos provejais provejam

Swedish

Noun

prover

  1. indefinite plural of prov
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.