Closed mlutze closed 5 months ago
The translation for "recursively enumerable" doesn't match that for "enumerable". Is this intentional?
Good point. Thanks for pointing it out! I skimmed through DDO, found the Norwegian "Recursively Enumerabel" and some high-school material on set theory that provides a (consistent) translation.
The translation for "recursively enumerable" doesn't match that for "enumerable". Is this intentional?