Zulip Chat Archive
Stream: maths
Topic: Liouville numbers
Yury G. Kudryashov (Oct 10 2021 at 16:05):
I got bored last night, so I formalized the fact that Liouville numbers form a dense Gδ-set, see #9646
Yaël Dillies (Oct 10 2021 at 17:26):
If only mathematicians could get bored more often :wink:
Kevin Buzzard (Oct 10 2021 at 18:00):
If only I had time to be bored
Kevin Buzzard (Oct 10 2021 at 18:01):
(preparing solutions to a problem sheet which is going out at 1pm tomorrow but I have four hours of teaching 9-1 so need to do it now...)
Franz Kronseder (Oct 10 2021 at 22:02):
:smiling_face:
Yury G. Kudryashov (Oct 13 2021 at 16:45):
A follow-up #9702: the same set (actually, a larger one) has measure zero, so residual real and volume.ae are disjoint.
Yury G. Kudryashov (Oct 13 2021 at 16:45):
(needs lots of documentation; not ready for review yet)
Last updated: Dec 20 2023 at 11:08 UTC