This page is a primary topic and an article should be written about it. One or more editors believe it holds the title of a broad-concept article. The article may be written here or drafted elsewhere first. Related titles should be described here, while unrelated titles should be moved to Provable (disambiguation). |
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