Deutsch   English   Français   Italiano  
<vbuafl$62lo$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!Xl.tags.giganews.com!local-2.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 07 Sep 2024 15:34:00 +0000
Subject: Re: How many different unit fractions are lessorequal than all unit
 fractions?
Newsgroups: sci.math
References: <vb4rde$22fb4$2@solani.org>
 <3d1a8334-deee-45c6-ae03-340cd8551908@att.net> <vbafj7$3vd6q$1@dont-email.me>
 <63e6371c52c2af0b0db73d0ab87089492193afbf@i2pn2.org>
 <xOcpE4rkpyv-aM8-LoNEo8uBknY@jntp>
 <cbdd27a506c02ae62cc32d8b6c771b748d102b2b@i2pn2.org>
 <vbera0$qdqo$1@dont-email.me>
 <2e15dfc1b4b82a3c019d43b76016682a7ac3004d@i2pn2.org>
 <_hadnYwTwuhXXEb7nZ2dnZfqn_SdnZ2d@giganews.com>
 <700c58259458edf914975c2c3644e90991cda24d@i2pn2.org>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Sat, 7 Sep 2024 08:34:05 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <700c58259458edf914975c2c3644e90991cda24d@i2pn2.org>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <RROdnbZWP6X170H7nZ2dnZfqn_ednZ2d@giganews.com>
Lines: 75
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-OFG2eb/gxO5RCL/Nd60Rex/vyQvfPmrVdo8zFYt/csLa71seWk3EB35XX6dn+E4pXzNYNmRO2BJJC0C!UaD5HiWCJzO46jG5asV8hS6kFM+tBRXtSRPfP5SciCYXXUdCo1g5m9xp9xqphpo7ehJ4IiUo6L0c
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 4724

On 09/07/2024 05:57 AM, Richard Damon wrote:
> On 9/6/24 11:00 PM, Ross Finlayson wrote:
>> On 09/06/2024 07:01 PM, Richard Damon wrote:
>>> On 9/6/24 8:07 AM, WM wrote:
>>>> On 06.09.2024 05:08, Richard Damon wrote:
>>>>> On 9/5/24 10:08 AM, WM wrote:
>>>>
>>>>>> NUF(x) must grow. It cannot grow by more than 1 at any x.
>>>>
>>>>> This is NOT the "ancient" idea of infinity,
>>>>
>>>> NUF(x) must grow. It cannot grow by more than 1 at any x.
>>>> Right or wrong in your opinion?
>>>>
>>>> Regards, WM
>>>>
>>>
>>> Only if it exists.
>>>
>>> If it does, it must be counting some sub-finite values as "unit
>>> fractions" that are not the reciprocal of the Natural Numbers (since
>>> there is no smallest of those unit fractions to count from).
>>>
>>> So, either it is counting some sub-finite values (actually a lot of them
>>> a countable infinity of them) or it just doesn't exist.
>>>
>>> Maybe that is your dark numbers, these sub-finite numbers that are
>>> reciprocals of some post-finite values above the infinite set of Natural
>>> Numbers (which have no upper bound) and are below Omega.
>>
>> That's a remarkable supposition, I wonder how you'd imagine
>> both to satisfy to yourself and others that thusly is a
>> "consistent" form, of course which only requires "internal
>> consistency" for its own sake, then besides, to suffer the
>> running of the gauntlet, of those who'd insist it contradicted
>> theirs. For, their are simple inductive arguments that nothing
>> ever happens or is, at all.
>>
>> I sort of appreciate the sentiment, though, that "infinite"
>> is big enough to have quite a range.
>>
>>
>
> The problem with "consistancy" is that WM's mathematicss isn't
> consistent with the full Natural Numbers, and unlikely to be helped with
> the addition of something even more esoteric.
>
> His work doesn't define the set well enough to actually define how it
> must work, and the best answer is likly to just adopt one of the
> existing set of sub-finite number, it just needs to have a countably
> infinite subset of values that can be reasonable defined as "unit
> fractions".


Maybe it'd do better with less.

How about this, imagine it was your duty to convince a panel of
mathematicians that something that made for the most properties
possible of the notion of an iota-value or least-positive-rational,
had a way to define this thing. Is it any different than f(1) for
n/d, d-> oo, n -> d, modeling a not-a-real-function as a limit of
real functions?

Or does that just mean crazy-town to you? The crazy-town here
is actually sort of crazy-town, like, you walk out on the streets
and at various intervals encounter derelict indigents who are
entirely insane, on most given Tuesdays.

How do you keep your sanity in crazy-town, or help rehabilitate
crazy-town? Among the ideas that nothing can be crazy if it's
all consistent, in the infinite, get into things like Hausdorff's
constructible universe, and Skolem's countable universe, or,
"model of ZF", if "universe" makes no sound to you.