Deutsch English Français Italiano |
<vjrt4r$1of0a$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: sci.logic Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers Date: Tue, 17 Dec 2024 15:08:43 +0200 Organization: - Lines: 38 Message-ID: <vjrt4r$1of0a$1@dont-email.me> References: <vg7cp8$9jka$1@dont-email.me> <vg7vgh$csek$1@dont-email.me> <vg8911$dvd6$1@dont-email.me> <vjgvpc$3bb3f$1@dont-email.me> <vjh28r$3b6vi$4@dont-email.me> <vjjfmj$3tuuh$1@dont-email.me> <vjjgds$3tvsg$2@dont-email.me> <539edbdf516d69a3f1207687b802be7a86bd3b48@i2pn2.org> <vjk97t$1tms$1@dont-email.me> <vjmc7h$hl7j$1@dont-email.me> <vjmd6c$hn65$2@dont-email.me> <cdf0ae2d3923f3b700a619a16975564d95d38370@i2pn2.org> <vjnaml$n89f$1@dont-email.me> <75dbeab4f71dd695b4513627f185fcb27c2aaad1@i2pn2.org> <vjopub$11n0g$5@dont-email.me> <vjot7b$12rsa$1@dont-email.me> <vjp1fi$13ar5$2@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 17 Dec 2024 14:08:43 +0100 (CET) Injection-Info: dont-email.me; posting-host="85f3ec72ac23a601c12bb8ae9d2b7195"; logging-data="1850378"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+ri02pwlzmYRccDwp9/NZQ" User-Agent: Unison/2.2 Cancel-Lock: sha1:MaZ8946mz2Isg5kbj4BQnnJsI2c= Bytes: 2660 On 2024-12-16 11:04:17 +0000, WM said: > On 16.12.2024 10:51, Mikko wrote: >> On 2024-12-16 08:55:39 +0000, WM said: >> >>> On 15.12.2024 22:14, Richard Damon wrote: >>>> On 12/15/24 2:29 PM, WM wrote: >>> >>>>> Next is a geometric property, in particular since the average distance >>>>> of intervals is infinitely larger than their sizes. >>> >>>> Not sure where you get that the "average" distance of intervals is >>>> infinitely larger than ther sizes. >>> >>> The accumulated size of all intervals is less than 3 over the infinite length. >> >> True. >> >>> Hence >> >> False. >> >>> there is at least one location with a ratio oo between distance to the >>> interval and length of the interval. >> >> False. Regardless which interval is "the" interval the distance to that >> interval is finite and the length of the interval is non-zero so the >> ratio is finite. > > Well, it is finite but huge. Much larger than the interval and > therefore the finite intervals are not dense. They are dense because there are other intervals between the point and the interval. That's what "dense" means. -- Mikko