Misplaced Pages

Provability or provable (and disprovability or disprovable) may refer to:

• Provability logic, a modal logic
• Provable prime, an integer that has been calculated to be prime
• Provable security, computer system security that can be proved
• Provably correct, correctness of an algorithm that can be proved
• Provably total, function that can be proven to be computable

See also

• Proof (disambiguation)
• Proof theory, a branch of mathematical logic
• Recursively enumerable set, also known as provable set

• Disambiguation pages