prover

Tanımlar (İngilizce)

1. isim 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. isim 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. isim A person who experimentally ingests a substance and then catalogues every effect or symptom.