I am just curious if there are any measurable(in the sense of Lebesque measure) sets with noncomputable measure just as there are noncomputable real numbers. I would be highly obliged for any clarifications

  • 6
    $\begingroup$ Does $[0, \alpha]$ where $\alpha$ is noncomputable work for you? Or are you looking for something else? $\endgroup$
    – Hayden
    May 14 at 5:26
  • $\begingroup$ Meanwhile, while the measure of a "computably closed" set (= $\Pi^0_1$ class) need not be computable, it will always be right c.e., so if you want a closed set of very noncomputable measure you will need to "cheat" a bit. $\endgroup$ May 14 at 5:42
  • $\begingroup$ Thank you for your useful comments $\endgroup$ May 14 at 6:35


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.