Re: Simple enough for every reader?

Liste des GroupesRevenir à s logic 
Sujet : Re: Simple enough for every reader?
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.logic
Date : 27. May 2025, 16:24:50
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1014lg2$2l9jj$6@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
On 27.05.2025 14:27, Mikko wrote:
On 2025-05-26 13:44:06 +0000, WM said:
 
{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.
>
Do you accept this proof?
 No. A proof should start with a clear presentation of the premises.
A proof as simple as this one should be understood as it stands. You only try to suppress it.

Then a sequence of sentences should follow, each with an indication
of how they follow from the previous sentence, and which earlier
sentences of the proof are also needed for the inference.
{1} has infinitely many (ℵo) successors. If you don't understand, please ask.
For every number n that can be represented in decimals:
If {1, 2, 3, ..., n} has infinitely many (ℵo) successors, then {1, 2, 3, ..., n, n+1} has infinitely many (ℵo) successors. If you don't understand, please ask.
That's all.
Regards, WM

Date Sujet#  Auteur
17 May 25 * Simple enough for every reader?58WM
18 May 25 +* Re: Simple enough for every reader?24Mikko
18 May 25 i+- Re: Simple enough for every reader?1Ross Finlayson
18 May 25 i`* Re: Simple enough for every reader?22WM
18 May 25 i +* Re: Simple enough for every reader?5Ross Finlayson
18 May 25 i i`* Re: Simple enough for every reader?4WM
19 May 25 i i `* Re: Simple enough for every reader?3Mikko
19 May 25 i i  `* Re: Simple enough for every reader?2WM
20 May 25 i i   `- Re: Simple enough for every reader?1Mikko
19 May 25 i `* Re: Simple enough for every reader?16Mikko
19 May 25 i  `* Re: Simple enough for every reader?15WM
20 May 25 i   `* Re: Simple enough for every reader?14Mikko
20 May 25 i    `* Re: Simple enough for every reader?13WM
22 May10:10 i     `* Re: Simple enough for every reader?12Mikko
22 May11:30 i      `* Re: Simple enough for every reader?11WM
23 May08:43 i       `* Re: Simple enough for every reader?10Mikko
23 May09:31 i        `* Re: Simple enough for every reader?9WM
24 May09:13 i         `* Re: Simple enough for every reader?8Mikko
24 May12:29 i          `* Re: Simple enough for every reader?7WM
25 May11:42 i           `* Re: Simple enough for every reader?6Mikko
25 May12:38 i            `* Re: Simple enough for every reader?5WM
26 May11:26 i             `* Re: Simple enough for every reader?4Mikko
26 May14:38 i              `* Re: Simple enough for every reader?3WM
27 May13:01 i               `* Re: Simple enough for every reader?2Mikko
27 May16:09 i                `- Re: Simple enough for every reader?1WM
18 May 25 `* Re: Simple enough for every reader?33Ben Bacarisse
19 May 25  +* Re: Simple enough for every reader?2olcott
19 May 25  i`- Re: Simple enough for every reader?1WM
19 May 25  `* Re: Simple enough for every reader?30WM
20 May 25   `* Re: Simple enough for every reader?29Ben Bacarisse
20 May 25    +* Re: Simple enough for every reader?3Mikko
20 May 25    i+- Re: Simple enough for every reader?1WM
21 May01:51    i`- Re: Simple enough for every reader?1Ben Bacarisse
20 May 25    `* Re: Simple enough for every reader?25WM
21 May02:17     `* Re: Simple enough for every reader?24Ben Bacarisse
21 May12:02      `* Re: Simple enough for every reader?23WM
23 May14:21       `* Re: Simple enough for every reader?22Ben Bacarisse
24 May09:18        +* Re: Simple enough for every reader?8Mikko
25 May02:09        i`* Re: Simple enough for every reader?7Ben Bacarisse
25 May11:43        i `* Re: Simple enough for every reader?6Mikko
26 May01:56        i  `* Re: Simple enough for every reader?5Ben Bacarisse
26 May11:30        i   `* Re: Simple enough for every reader?4Mikko
27 May00:21        i    `* Re: Simple enough for every reader?3Ben Bacarisse
27 May13:15        i     `* Re: Simple enough for every reader?2Mikko
27 May16:18        i      `- Re: Simple enough for every reader?1WM
24 May11:50        `* Re: Simple enough for every reader?13WM
25 May02:27         `* Re: Simple enough for every reader?12Ben Bacarisse
25 May09:29          `* Re: Simple enough for every reader?11WM
26 May01:52           `* Re: Simple enough for every reader?10Ben Bacarisse
26 May11:17            +* Re: Simple enough for every reader?7WM
26 May11:44            i+* Re: Simple enough for every reader?4Mikko
26 May14:44            ii`* Re: Simple enough for every reader?3WM
27 May13:27            ii `* Re: Simple enough for every reader?2Mikko
27 May16:24            ii  `- Re: Simple enough for every reader?1WM
27 May00:57            i`* Re: Simple enough for every reader?2Ben Bacarisse
27 May13:15            i `- Re: Simple enough for every reader?1WM
26 May14:30            `* Re: Simple enough for every reader?2WM
27 May00:58             `- Re: Simple enough for every reader?1Ben Bacarisse

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal