Talk:Computably enumerable set: Difference between revisions