"computability" - key terms from Wikipedia