Prover
প্রমাণকারী; প্রমাণ উপস্থাপনকারী (ব্যক্তি/ব্যবস্থা)
Origin & History
From the verb prove + the agent suffix -er; prove comes from Middle English, from Old French prover, ultimately from Latin probare (“to test, approve, prove”).
prove ক্রিয়া + কর্তা-সূচক প্রত্যয় -er থেকে গঠিত; prove এসেছে মধ্য ইংরেজি হয়ে প্রাচীন ফরাসি prover থেকে, যার মূল লাতিন probare (অর্থ: “পরীক্ষা করা, অনুমোদন করা, প্রমাণ করা”)।
Definition
A prover is someone (or something, such as a computer program in logic/theorem proving) that provides proof, evidence, or a formal demonstration that a statement is true.
প্রোভার হলো এমন ব্যক্তি (বা যুক্তিবিদ্যা/থিওরেম প্রুভিং‑এ কোনো প্রোগ্রাম/ব্যবস্থা) যা প্রমাণ, সাক্ষ্য-প্রমাণ বা আনুষ্ঠানিক উপপাদনের মাধ্যমে কোনো বক্তব্য সত্য বলে প্রতিষ্ঠা করে।