prover
See also: prøver
English
Noun
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 and Jean Paul Van Bendegem”, in Pi on Earth, or Mathematics in the Real World, 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
Old French
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 | — |
Portuguese
Etymology
From Latin prōvidēre, with the loss of the second syllable. By surface analysis, pro- + ver.
Pronunciation
- (Brazil) IPA(key): /pɾoˈve(ʁ)/ [pɾoˈve(h)]
- (São Paulo) IPA(key): /pɾoˈve(ɾ)/
- (Rio de Janeiro) IPA(key): /pɾoˈve(ʁ)/ [pɾoˈve(χ)]
- (Southern Brazil) IPA(key): /pɾoˈve(ɻ)/
- (Portugal) IPA(key): /pɾuˈveɾ/
Verb
prover (first-person singular present provejo, first-person singular preterite provi, past participle provido)
- to provide (give what is needed or desired)
- inflection of prover:
- first/third-person singular future subjunctive
- first/third-person singular personal infinitive
Conjugation
Conjugation of prover (irregular) (See Appendix:Portuguese verbs)
1Superseded.
Related terms
Swedish
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.