How to pronounce “probabilistically checkable proof”

Meaning

• [Noun]
• (computing theory) A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.

Practice Nearby Words

probabilification, computability logic, prover, proof by exhaustion, proof, proof system, rice's theorem, computability theory, randomized algorithm, constructive logic, thesis, computable analysis, richardson's theorem, church-turing thesis, induction, tactical, metaconjecture, algorithmic number theory, subproof, chebyshev's theorem, theorem, las vegas algorithm, cook reduction, rosser's trick, verification, savitch's theorem, conjecture, proof by contradiction, theoretical probability, computational number theory, proposition, probabilistics, zero-knowledge proof, recursion theory, computable function, logic, analysis, kleene's recursion theorem, proof by example, turing computable function, reduction, probabilist, metatheorem, approximation algorithm, blum's speedup theorem, forcing, bertrand's postulate, abc conjecture, clarithmetic, entscheidungsproblem, rational root theorem, ks theorem, natural deduction, matiyasevich's theorem, löb's theorem, demonstration, rewriting, tarski-kuratowski algorithm, polyalgorithm, paris-harrington theorem, pólya's conjecture, sequential probability ratio test, decision problem, allowment, curry-howard correspondence, constructivism, generalization, turing degree, slutsky's theorem, autoreducibility, porism, abel's impossibility theorem, inference rule, squeeze theorem, conservative extension, combinatory logic, ramsey's theorem, lucas-penrose argument, computation, theorematist, kernelizability, dequantization, semidecision, stone's representation theorem, church-rosser theorem, special case, pseudocompactness, prediction, probability theory, random function, british museum algorithm, boolean logic, lemma, computation tree logic, parallelizability, diagonal argument, chaitin's constant, coevent, monte carlo method, no free lunch theorem

Similar Sounds

probabilistic, ballistically, populistic, journalistically, unrealistically, bombastically, simplistically, stylistically, scholastically, sarcastically