Cantor set V

"An elementary example (due to Feng-Gao) of an R.E. set over [the real numbers] which is not decidable is the complement of the Cantor Middle [T]hird set in the unit interval. The demonstration is via [a] "machine" (and the fact the Cantor Middle [T]hird set is an uncountable totally disconnected set)."

--from the paper cited in commentary to Cantor set III.

Comments

Popular posts from this blog

In ancapistan, if you have no property, you have no rights

If Fractional Reserve Banking Is Fraudulent, Then So Is...

St. Paul and I Agree...