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, 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
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. Old French conjugation varies significantly by date and by region. The following conjugation should be treated as a guide.
| 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
Related terms
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ɾ/
- (Northern Portugal) IPA(key): /pɾuˈbeɾ/ [pɾuˈβeɾ]
- (Southern Portugal) IPA(key): /pɾuˈve.ɾi/
Verb
prover (first-person singular present provejo, first-person singular preterite provi, past participle provido)
- to provide (give what is needed or desired)
Conjugation
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.