computability logic en · NOUN Pronunciation (US) audio Meanings (uncountable) A formal theory of computability.