prover
Appearance
See also: prøver
English
[edit]Etymology
[edit]Noun
[edit]prover (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
[edit]Anagrams
[edit]Old French
[edit]Alternative forms
[edit]Etymology
[edit]Verb
[edit]prover
- 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.
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
[edit]Related terms
[edit]Descendants
[edit]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)
- to provide (give what is needed or desired)
Conjugation
[edit] Conjugation of prover (irregular) (See Appendix:Portuguese verbs)
1Superseded.
Related terms
[edit]Swedish
[edit]Noun
[edit]prover
- 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