proof system
[/pruːf ˈsɪstəm/]
nounpl: proof systems
sistema de prova
1. A formal method or framework used in logic and mathematics to establish the validity of a statement or theorem through a sequence of logical steps.
In formal logic, a proof system provides the rules and axioms necessary to derive theorems from given premises.
Em lógica formal, um sistema de prova fornece as regras e axiomas necessários para derivar teoremas a partir de premissas dadas.
2. In computer science and cryptography, a protocol or algorithm that verifies the truth or authenticity of a claim without revealing sensitive information.
Zero-knowledge proof systems allow one party to prove knowledge of information without disclosing it.
Sistemas de prova de conhecimento zero permitem que uma parte prove conhecimento de informações sem divulgá-las.
3. A structured set of inference rules and logical operations used to demonstrate the correctness of a program or mathematical statement.
The proof system used in this theorem prover includes resolution and natural deduction rules.
O sistema de prova utilizado neste provador de teoremas inclui regras de resolução e dedução natural.
This is a specialized technical term primarily used in academic and professional contexts within mathematics, logic, and computer science. It is not part of everyday conversation in either Brazil or the USA. The term is essential in formal education at the university level, particularly in fields such as theoretical computer science, mathematical logic, and formal verification.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →