Provable
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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.