probabilistically checkable proof
randomized algorithm
mathematical proof
induction
logic
corollary
existential quantifier
logical proof
existential operator
demonstration
fuzzy logic
monstrance
softplus
recursive function
Las Vegas algorithm
weakening
halseny
universal quantifier
Ramsey number
argumentation
negation
sum
misproof
variable quantity
naive Bayes classifier
variable
prover
theory of probability
probability theory
propositional calculus
propositional logic
probability theorist
constructive logic
modus tollens
computable analysis
mode
guestimate
guesstimate
summer
modality
probability mass function
central limit theorem
index
domain of discourse
correctness
simplification
ternary logic
observation
power
exponent
computability logic
subproof
approximant
oracle machine
negative binomial distribution