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 : 16. Jun 2025, 11:50:58
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <102osui$1j1c3$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
User-Agent : Mozilla Thunderbird
On 16.06.2025 09:41, Mikko wrote:
On 2025-06-15 16:15:39 +0000, WM said:
 
On 15.06.2025 12:32, Mikko wrote:
On 2025-06-14 14:00:36 +0000, WM said:
>
Of course the border between visible and dark numbers depends on time and system.
>
And therefore has no mathenatical meaning.
>
That is only true if mathematics is restricted to definable numbers.
 No, it is true anyway.
Please don't claim but argue by arguments:
The complete set of prime numbers is infinite. Only a finite set is known. If each number were known and subtracted from its set, then a last one would be subtracted.

Mathematics is restricted to mathematical things
even when the inspiration comes from something non-mathematical, as it
often comes. Things that depend on time or otherwise on the real world
are not mathematical.
That is a wrong opinion, as best can be seen by geometry. But also the restrictions of reality do limit what can be expressed in mathematics.

But that is not the usual approach. The undefinable prime numbers for instance belong to present mathematics.
 Definability is a mathematical property. Every natural number and in
particular every prime number is definable.
Then define the prime numbers such that none remains undefined. Or define a hitherto undefined prime number.

Then can as they do. The arithmetic order of natural numbers is a known
well-order. But a well-order does not imply that there is a last one.
only that there is a first one.
>
But this does: ℕ \ {1, 2, 3, ...} = { }    .
 No, it does not. There is no last one in { }.
When the natural numbers are subtracted one by one and when finally none remains, then a last one has been subtracted. This is forced by their order.
Regards, WM
 

Date Sujet#  Auteur
17 May 25 * Simple enough for every reader?215WM
18 May 25 +* Re: Simple enough for every reader?125Mikko
18 May 25 i+- Re: Simple enough for every reader?1Ross Finlayson
18 May 25 i`* Re: Simple enough for every reader?123WM
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?117Mikko
19 May 25 i  `* Re: Simple enough for every reader?116WM
20 May 25 i   `* Re: Simple enough for every reader?115Mikko
20 May 25 i    `* Re: Simple enough for every reader?114WM
22 May 25 i     `* Re: Simple enough for every reader?113Mikko
22 May 25 i      `* Re: Simple enough for every reader?112WM
23 May 25 i       `* Re: Simple enough for every reader?111Mikko
23 May 25 i        `* Re: Simple enough for every reader?110WM
24 May 25 i         `* Re: Simple enough for every reader?109Mikko
24 May 25 i          `* Re: Simple enough for every reader?108WM
25 May 25 i           `* Re: Simple enough for every reader?107Mikko
25 May 25 i            `* Re: Simple enough for every reader?106WM
26 May 25 i             `* Re: Simple enough for every reader?105Mikko
26 May 25 i              `* Re: Simple enough for every reader?104WM
27 May 25 i               `* Re: Simple enough for every reader?103Mikko
27 May 25 i                `* Re: Simple enough for every reader?102WM
28 May 25 i                 `* Re: Simple enough for every reader?101Mikko
28 May 25 i                  `* Re: Simple enough for every reader?100WM
29 May 25 i                   `* Re: Simple enough for every reader?99Mikko
29 May 25 i                    `* Re: Simple enough for every reader?98WM
30 May 25 i                     +* Re: Simple enough for every reader?96Mikko
30 May 25 i                     i`* Re: Simple enough for every reader?95WM
31 May 25 i                     i `* Re: Simple enough for every reader?94Mikko
31 May 25 i                     i  `* Re: Simple enough for every reader?93WM
1 Jun 25 i                     i   `* Re: Simple enough for every reader?92Mikko
1 Jun 25 i                     i    `* Re: Simple enough for every reader?91WM
3 Jun 25 i                     i     `* Re: Simple enough for every reader?90Mikko
3 Jun 25 i                     i      `* Re: Simple enough for every reader?89WM
4 Jun 25 i                     i       `* Re: Simple enough for every reader?88Mikko
4 Jun 25 i                     i        `* Re: Simple enough for every reader?87WM
5 Jun 25 i                     i         `* Re: Simple enough for every reader?86Mikko
5 Jun 25 i                     i          `* Re: Simple enough for every reader?85WM
6 Jun 25 i                     i           `* Re: Simple enough for every reader?84Mikko
6 Jun 25 i                     i            `* Re: Simple enough for every reader?83WM
8 Jun 25 i                     i             `* Re: Simple enough for every reader?82Mikko
10 Jun 25 i                     i              `* Re: Simple enough for every reader?81WM
11 Jun 25 i                     i               `* Re: Simple enough for every reader?80Mikko
11 Jun 25 i                     i                `* Re: Simple enough for every reader?79WM
12 Jun 25 i                     i                 `* Re: Simple enough for every reader?78Mikko
12 Jun 25 i                     i                  `* Re: Simple enough for every reader?77WM
13 Jun 25 i                     i                   `* Re: Simple enough for every reader?76Mikko
13 Jun 25 i                     i                    `* Re: Simple enough for every reader?75WM
14 Jun 25 i                     i                     `* Re: Simple enough for every reader?74Mikko
14 Jun 25 i                     i                      `* Re: Simple enough for every reader?73WM
15 Jun 25 i                     i                       +* Re: Simple enough for every reader?71Mikko
15 Jun 25 i                     i                       i`* Re: Simple enough for every reader?70WM
16 Jun 25 i                     i                       i `* Re: Simple enough for every reader?69Mikko
16 Jun 25 i                     i                       i  `* Re: Simple enough for every reader?68WM
17 Jun 25 i                     i                       i   +* Re: Simple enough for every reader?66Mikko
17 Jun 25 i                     i                       i   i`* Re: Simple enough for every reader?65WM
18 Jun 25 i                     i                       i   i +* Re: Simple enough for every reader?63Mikko
18 Jun 25 i                     i                       i   i i`* Re: Simple enough for every reader?62WM
19 Jun 25 i                     i                       i   i i `* Re: Simple enough for every reader?61Mikko
19 Jun 25 i                     i                       i   i i  `* Re: Simple enough for every reader?60WM
20 Jun 25 i                     i                       i   i i   `* Re: Simple enough for every reader?59Mikko
20 Jun 25 i                     i                       i   i i    `* Re: Simple enough for every reader?58WM
21 Jun 25 i                     i                       i   i i     `* Re: Simple enough for every reader?57Mikko
21 Jun 25 i                     i                       i   i i      `* Re: Simple enough for every reader?56WM
22 Jun 25 i                     i                       i   i i       `* Re: Simple enough for every reader?55Mikko
22 Jun 25 i                     i                       i   i i        `* Re: Simple enough for every reader?54WM
23 Jun 25 i                     i                       i   i i         `* Re: Simple enough for every reader?53Mikko
23 Jun 25 i                     i                       i   i i          `* Re: Simple enough for every reader?52WM
24 Jun 25 i                     i                       i   i i           `* Re: Simple enough for every reader?51Mikko
24 Jun 25 i                     i                       i   i i            `* Re: Simple enough for every reader?50WM
25 Jun 25 i                     i                       i   i i             `* Re: Simple enough for every reader?49Mikko
25 Jun 25 i                     i                       i   i i              `* Re: Simple enough for every reader?48WM
26 Jun 25 i                     i                       i   i i               `* Re: Simple enough for every reader?47Mikko
26 Jun 25 i                     i                       i   i i                `* Re: Simple enough for every reader?46WM
27 Jun 25 i                     i                       i   i i                 `* Re: Simple enough for every reader?45Mikko
27 Jun 25 i                     i                       i   i i                  `* Re: Simple enough for every reader?44WM
28 Jun 25 i                     i                       i   i i                   `* Re: Simple enough for every reader?43Mikko
28 Jun 25 i                     i                       i   i i                    `* Re: Simple enough for every reader?42WM
29 Jun 25 i                     i                       i   i i                     `* Re: Simple enough for every reader?41Mikko
30 Jun 25 i                     i                       i   i i                      `* Re: Simple enough for every reader?40WM
30 Jun 25 i                     i                       i   i i                       +* Re: Simple enough for every reader?2joes
1 Jul 25 i                     i                       i   i i                       i`- Re: Simple enough for every reader?1WM
2 Jul 25 i                     i                       i   i i                       `* Re: Simple enough for every reader?37Mikko
2 Jul 25 i                     i                       i   i i                        `* Re: Simple enough for every reader?36WM
2 Jul 25 i                     i                       i   i i                         +* Re: Simple enough for every reader?4joes
2 Jul 25 i                     i                       i   i i                         i`* Re: Simple enough for every reader?3WM
2 Jul 25 i                     i                       i   i i                         i `* Re: Simple enough for every reader?2joes
2 Jul 25 i                     i                       i   i i                         i  `- Re: Simple enough for every reader?1WM
3 Jul 25 i                     i                       i   i i                         `* Re: Simple enough for every reader?31Mikko
3 Jul 25 i                     i                       i   i i                          `* Re: Simple enough for every reader?30WM
3 Jul 25 i                     i                       i   i i                           +* Re: Simple enough for every reader?8joes
3 Jul 25 i                     i                       i   i i                           i`* Re: Simple enough for every reader?7WM
4 Jul 25 i                     i                       i   i i                           i `* Re: Simple enough for every reader?6joes
4 Jul 25 i                     i                       i   i i                           i  `* Re: Simple enough for every reader?5WM
4 Jul 25 i                     i                       i   i i                           i   `* Re: Simple enough for every reader?4joes
4 Jul 25 i                     i                       i   i i                           i    `* Re: Simple enough for every reader?3WM
4 Jul 25 i                     i                       i   i i                           i     `* Re: Simple enough for every reader?2joes
4 Jul 25 i                     i                       i   i i                           i      `- Re: Simple enough for every reader?1WM
4 Jul 25 i                     i                       i   i i                           `* Re: Simple enough for every reader?21Mikko
24 Jun 25 i                     i                       i   i `- Re: Simple enough for every reader?1joes
24 Jun 25 i                     i                       i   `- Re: Simple enough for every reader?1joes
24 Jun 25 i                     i                       `- Re: Simple enough for every reader?1joes
24 Jun 25 i                     `- Re: Simple enough for every reader?1joes
18 May 25 `* Re: Simple enough for every reader?89Ben Bacarisse

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal