prover
See also: prøver
English
editEtymology
editNoun
editprover (plural provers)
- One who or that which proves.
- 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, :
- 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
editAnagrams
editOld French
editAlternative forms
editEtymology
editFrom Latin probāre, present active infinitive of probō.
Verb
editprover
- to prove
Conjugation
editThis 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.
Conjugation of prover (see also Appendix:Old French verbs)
simple | compound | ||||||
---|---|---|---|---|---|---|---|
infinitive | prover | avoir prové | |||||
gerund | en provant | gerund of avoir 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 | pruef | 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 | present tense of avoir past participle | |||||
pluperfect | imperfect tense of avoir past participle | ||||||
past anterior | preterite tense of avoir past participle | ||||||
future perfect | future tense of avoir past participle | ||||||
conditional perfect | conditional tense of avoir past participle | ||||||
subjunctive | que jo | que tu | qu’il | que nos | que vos | qu’il | |
simple tenses |
present | pruef | prues | pruet | provons | provez | pruevent |
imperfect | provasse | provasses | provast | provissons, provissiens | provissoiz, provissez, provissiez | provassent | |
compound tenses |
past | present subjunctive of avoir past participle | |||||
pluperfect | imperfect subjunctive of avoir past participle | ||||||
imperative | – | tu | – | nos | vos | – | |
— | prueve | — | provons | provez | — |
Derived terms
editRelated terms
editDescendants
editPortuguese
editEtymology
editFrom Latin prōvidēre, with the loss of the second syllable. By surface analysis, pro- ver.
Pronunciation
edit
Verb
editprover (first-person singular present provejo, first-person singular preterite provi, past participle provido)
- to provide (give what is needed or desired)
Conjugation
edit Conjugation of prover (irregular) (See Appendix:Portuguese verbs)
1Superseded.
Related terms
editSwedish
editNoun
editprover
- indefinite plural of prov
Categories:
- English terms suffixed with -er (agent noun)
- English lemmas
- English nouns
- English countable nouns
- English terms with quotations
- English agent nouns
- Old French terms inherited from Latin
- Old French terms derived from Latin
- Old French lemmas
- Old French verbs
- Old French verbs with stem alternations
- Old French verbs with weak-a preterite
- Old French first group verbs
- Old French verbs ending in -er
- Old French irregular verbs
- Portuguese terms derived from Latin
- Portuguese terms prefixed with pro-
- Portuguese 2-syllable words
- Portuguese terms with IPA pronunciation
- Portuguese 3-syllable words
- Portuguese lemmas
- Portuguese verbs
- Portuguese verbs ending in -er
- Portuguese irregular verbs
- Swedish non-lemma forms
- Swedish noun forms