Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: WM <wolfgang.mueckenheim@tha.de>
Newsgroups: sci.logic
Subject: Re: Simple enough for every reader?
Date: Tue, 20 May 2025 13:15:18 +0200
Organization: A noiseless patient Spider
Lines: 30
Message-ID: <100ho85$272si$2@dont-email.me>
References: <100a8ah$ekoh$1@dont-email.me> <878qmt1qz6.fsf@bsb.me.uk>
 <100fu5r$1oqf5$1@dont-email.me> <87plg4yujh.fsf@bsb.me.uk>
 <100hair$24oei$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 20 May 2025 13:15:18 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="15c6fb9815ccc4aa271928be3672795b";
	logging-data="2329490"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+hdwVOZCYNGbppwKCelPcPIjfHMSP1730="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:9khbWEqLLDTKvHTEaBpX5mH1bms=
Content-Language: en-US
In-Reply-To: <100hair$24oei$1@dont-email.me>
Bytes: 2163

On 20.05.2025 09:22, Mikko wrote:
> On 2025-05-20 00:50:42 +0000, Ben Bacarisse said:
> 
>> WM <wolfgang.mueckenheim@tha.de> writes:
>>
>>> On 19.05.2025 00:41, Ben Bacarisse wrote:
>> ...
>>>> Do they still let you teach this stuff?
>>>
>>> I am one of the few Professors worldwide who do teach the correct 
>>> view of
>>> infinity (if actual infinity exists at all).
>>
>> Fortunately it's an optional course (at least it was) and your college
>> does not offer degrees in mathematics (or has that changed?).  The harm
>> is very much limited.
> 
> And further limitations come from the truth being presented more often
> than the falsehood.

One proof is stronger than all your waffle, how often you may repeat it. 
It is this:
> 
{1} has infinitely many (ℵo) successors.
If {1, 2, 3, ..., n} has infinitely many (ℵo) successors, then {1, 2, 3, 
...., n, n+1} has infinitely many (ℵo) successors. For every n that can 
be defined.

Regards, WM