prov·er

noun명사

1. 1

   증명자, 입증자 — 어떤 주장이나 명제가 참임을 증명하는 사람C1〔general〕

   a person who proves that a claim, statement, or theorem is true

   • The prover of the theorem wrote a clear proof.

     그 정리의 증명자는 명확한 증명을 썼다.

   • Every prover must show why each step is valid.

     모든 증명자는 각 단계가 왜 타당한지 보여 주어야 한다.

   유의어demonstrator, verifier

   반의어refuter

2. 2

   자동 증명기, 정리 증명기 — 논리식이나 수학적 명제를 자동으로 증명하거나 검증하는 컴퓨터 프로그램C1〔computing〕

   a computer program or system that proves or verifies logical or mathematical statements

   • The automated prover found a contradiction in seconds.

     그 자동 증명기는 몇 초 만에 모순을 찾아냈다.

   • Students used a theorem prover to check their proofs.

     학생들은 자신의 증명을 확인하려고 정리 증명기를 사용했다.

   유의어theorem prover, automated reasoner, proof assistant

3. 3

   검정기, 교정 장치 — 계량기나 측정 장비의 정확도를 확인·교정하는 데 쓰는 장치C2〔engineering〕

   a device used to check or calibrate the accuracy of a measuring instrument, especially a meter

   • The technician used a prover to calibrate the fuel meter.

     기사는 연료 계량기를 교정하기 위해 검증 장치를 사용했다.

   • A meter prover checks whether the flow meter is accurate.

     미터 검증 장치는 유량계가 정확한지 확인한다.

   유의어calibrator, meter prover

4. 4

   시험 참가자, 증상 기록자 — 동종요법에서 특정 물질을 시험하고 나타나는 증상을 기록하는 참가자C2〔alternative medicine〕

   in homeopathy, a person who takes or tests a substance and records any symptoms produced

   • Each prover kept a diary of symptoms during the homeopathic proving.

     각 시험 참가자는 동종요법 시험 동안 증상 일지를 작성했다.

   • Healthy provers received the substance and reported any symptoms.

     건강한 시험 참가자들은 그 물질을 받고 증상을 보고했다.

   유의어test subject, participant