Prover
सिद्धकर्ता; प्रमाण देने वाला; (कानून) साक्ष्य प्रस्तुत करने वाला; (गणित/कम्प्यूटिंग) स्वचालित प्रमेय-सिद्धकर्ता
Origin & History
From the verb "prove" + the agent suffix "-er"; "prove" comes via Middle English from Old French "prover", from Latin "probare" meaning "to test, approve, prove".
यह शब्द "prove" (सिद्ध करना) + कर्ता-वाचक प्रत्यय "-er" से बना है; "prove" मध्य अंग्रेज़ी के माध्यम से पुरानी फ़्रेंच "prover" से आया है, जो लैटिन "probare" (जाँचना, स्वीकार करना, सिद्ध करना) से निकला है।
Definition
A prover is someone (or sometimes something, such as a program or device) that establishes the truth of a claim by providing proof or evidence; in law it can mean a person who gives evidence, and in mathematics/computing it can refer to an automated theorem prover.
Prover वह व्यक्ति (या कभी-कभी कोई वस्तु/प्रोग्राम/उपकरण) है जो प्रमाण या साक्ष्य देकर किसी दावे की सत्यता सिद्ध करता है; विधि में यह साक्ष्य देने वाले व्यक्ति के लिए, और गणित/कम्प्यूटिंग में स्वचालित प्रमेय-सिद्धकर्ता (automated theorem prover) के लिए भी प्रयुक्त हो सकता है।