1. A solution to a problem that can be demonstrated or verified through logical proof, mathematical evidence, or empirical verification
The mathematician provided a provable solution to the long-standing conjecture.
O matemático forneceu uma solução comprovável para a conjectura de longa data.
2. In computing and formal systems, a solution whose correctness can be verified through formal proof methods
The algorithm guarantees a provable solution within polynomial time.
O algoritmo garante uma solução comprovável em tempo polinomial.