Provable
Appearance
(Redirected from Provability (disambiguation))
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/99/Wiktionary-logo-en-v2.svg/40px-Wiktionary-logo-en-v2.svg.png)
Look up provability or provable in Wiktionary, the free dictionary.
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
[edit]- Proof (disambiguation)
- Proof theory, a branch of mathematical logic
- Recursively enumerable set, also known as provable set