We will introduce the special kind of the order relations into recursively enumerable sets and prove that they can be used to distinguish (albeit in a non-constructive way) between recursive and non-recursive sets.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.