prover

名词 n.

英文释义

名词 n.
  1. One who or that which proves.
    — "This is a test bed for the technology, so ultimately while we could convert more trains like this, there's a limited number," said Green. "We see this more as a technology prover to allow that, rather to be put into a new train project."
  2. A person, device, or program that performs logical or mathematical proofs.
    — 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.
  3. A person who experimentally ingests a substance and then catalogues every effect or symptom.

词形变化

provers plural

词汇关系

衍生词

词源

Etymology tree
English prove
Proto-Indo-European *-yósder.
Proto-Italic *-āzijos
Latin -āriusnom.
Latin -āriusbor.
Proto-Germanic *-ārijaz
Proto-West Germanic *-ārī
Old English -ere
Middle English -ere
English -er
English prover
From prove + -er.
0 次浏览 数据来源: Wiktionary