Revision as of 11:41, 31 January 2016 by imported>D.Lazard(summary of preceding revert: except for logicians, semi-decidable refers to problems, not to sets. In any case, undecidable problem links to recursively enumerable set and better explains the relation between problems and sets)