As adjectives the difference between uncomputable and unprovable
is that uncomputable is not computable; that cannot be computed while unprovable is that cannot be proved or verified by any test.
uncomputable
English
Adjective
(-)
Not computable; that cannot be computed.
Synonyms
* incomputable