Post #2945252
2026-02-04 09:54 UTC
@SmartmanApps@dotnet.social @sandyarmstrong@hachyderm.io okay I'll bite. Show me that difference. Construct me a real number x with 0.(9) < x < 1. (Remember: density of <= on the real numbers implies that for any number x and y with x /= y there exists a number z with x < z < y)
Replies (1)
-
@SmartmanApps@dotnet.social 2026-02-04 19:16
@piegames@flausch.social @sandyarmstrong@hachyderm.io "Construct me a real number x with 0.(9) < x < 1" - you know that for x=0 then you've just stated that 0.(9)<1 right?? 😂 Welcome to one of the proofs on that page which contradicts their conclusion "Remember: density of <= on the real numbers implies that for any number x and y with x /= y there exists a number z with x < z < y" - Remember: that definition doesn't apply to Reals, it was there on one of the linked Wiki pages (which they linked to but didn't read)