Path: csiph.com!weretis.net!feeder8.news.weretis.net!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups: sci.logic
Subject: Re: Some results about unit fractions
Date: Sat, 27 May 2023 01:39:34 +0100
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <87o7m67gl5.fsf@bsb.me.uk>
References: <5ecf2c26-d125-4ba6-ac58-55acd906e111n@googlegroups.com> <29e2887b-661b-40a6-9ab5-eb415434d2c8n@googlegroups.com> <2b136913-106c-9df6-87a7-4c32f50be67f@att.net> <48c2d243-dcad-421d-bbab-3406b57216e2n@googlegroups.com> <c295eeee-6c56-4a4b-82ac-433dc06a9388n@googlegroups.com> <457aff14-c549-48e6-862e-b4645b4edce2n@googlegroups.com> <061329a4-5113-427a-a784-cc7a4a6ec884n@googlegroups.com> <ed662645-cecd-4c78-8641-c8c3ddd4f2bcn@googlegroups.com> <05a75aaa-d171-49a6-9c54-d8b4dc5ee4fdn@googlegroups.com> <ceead9aa-dbed-4911-b520-af10de8c8927n@googlegroups.com> <0bf1664d-3b07-4c63-ac3d-8d2614090096n@googlegroups.com> <0598fa36-b724-4ec1-827a-84a6ee6d7ed6n@googlegroups.com> <bd4ebd1e-99db-1b50-693b-3f9903245d85@att.net> <8c24f823-511a-4b67-9ce1-3e43ec12b2dcn@googlegroups.com> <87lehdad8f.fsf@bsb.me.uk> <d364c1e5-f742-4316-a7da-170f94963577n@googlegroups.com> <875y8f99rc.fsf@bsb.me.uk> <85b2a48c-0bc9-4954-8d80-dfcb58fe478bn@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: dont-email.me; posting-host="5e5f70aad6b1f14b9ce7f66cb53bab44"; logging-data="154110"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19E22h3JYTJtx0oRiLjZDAdQTP1VDSstbY="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
Cancel-Lock: sha1:XlZY7TthaYI5JEhdS8Uv0XGift0= sha1:+wnWNTKYSFyZ97O1qHmiTpXd92w=
X-BSB-Auth: 1.0759ed2f5de36b20eb7d.20230527013934BST.87o7m67gl5.fsf@bsb.me.uk
Xref: csiph.com sci.logic:253576

WM <askasker48@gmail.com> writes:
(AKA Dr. Wolfgang Mückenheim or Mueckenheim who teaches "Geschichte des 
Unendlichen" at Hochschule Augsburg.)

> Ben Bacarisse schrieb am Freitag, 26. Mai 2023 um 03:13:07 UTC+2:
>> WM <askas...@gmail.com> writes: 
>> > Ben Bacarisse schrieb am Mittwoch, 24. Mai 2023 um 18:48:18 UTC+2: 
>> >> None of those unit 
>> >> fractions are smaller the every x (in (0, 1]). 
>> > 
>> > Right!
>> Of course, I said it. The error is the claim of yours that you cut -- 
>> the one where you swapped the quantifiers and hoped that no one noticed.
>
> Nonsense.

Yes, you did the quantifier dance.  It was right there.  That's why you
cut it.  Here it is again:

| ∀x ∈ (0, 1]: NUF(x) = ℵo  (**)
|
| Each of these ℵo unit fractions which according to (**) are smaller
| than every x...

(**) does not say, imply, prove or entail any such thing.  Everything
you go on to conclude from this erroneous statement is bogus.

-- 
Ben.