computably

Adverb

Meaning

In a computable manner

With regard to computability

Synonyms

Examples

Boolos's proof proceeds by constructing, for any computably enumerable set S of true sentences of arithmetic, another sentence which is true but not contained in S. This gives the first incompleteness theorem as a corollary. Source: Internet

In particular, this means that, given a computably enumerable set of axioms, there are Diophantine equations for which there is no proof, starting from the axioms, of whether the set of equations has or does not have integer solutions. Source: Internet

Close letter words and terms