Re: Simple enough for every reader?

Liste des GroupesRevenir à s logic 
Sujet : Re: Simple enough for every reader?
De : noreply (at) *nospam* example.org (joes)
Groupes : sci.logic
Date : 24. Jun 2025, 15:37:04
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <ca2d7ccbf7a793f2863fb8b03476e65ed96ee2d7@i2pn2.org>
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 : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Mon, 16 Jun 2025 12:50:58 +0200 schrieb WM:
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:

The complete set of prime numbers is infinite.
(There are also infinite subsets of the primes...)

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.
Geometry doesn't depend on time; perfect lines do not exist. Does
mathematics shrink like the observable universe does?

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.
We're working on it. Do you think the largest known prime is undefined
or undefinable?

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.
No, order does not force finity. Infinite sets can be well-ordered.

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.

Date Sujet#  Auteur
17 May 25 * Simple enough for every reader?201WM
18 May 25 +* Re: Simple enough for every reader?111Mikko
18 May 25 i+- Re: Simple enough for every reader?1Ross Finlayson
18 May 25 i`* Re: Simple enough for every reader?109WM
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?103Mikko
19 May 25 i  `* Re: Simple enough for every reader?102WM
20 May 25 i   `* Re: Simple enough for every reader?101Mikko
20 May 25 i    `* Re: Simple enough for every reader?100WM
22 May 25 i     `* Re: Simple enough for every reader?99Mikko
22 May 25 i      `* Re: Simple enough for every reader?98WM
23 May 25 i       `* Re: Simple enough for every reader?97Mikko
23 May 25 i        `* Re: Simple enough for every reader?96WM
24 May 25 i         `* Re: Simple enough for every reader?95Mikko
24 May 25 i          `* Re: Simple enough for every reader?94WM
25 May 25 i           `* Re: Simple enough for every reader?93Mikko
25 May 25 i            `* Re: Simple enough for every reader?92WM
26 May 25 i             `* Re: Simple enough for every reader?91Mikko
26 May 25 i              `* Re: Simple enough for every reader?90WM
27 May 25 i               `* Re: Simple enough for every reader?89Mikko
27 May 25 i                `* Re: Simple enough for every reader?88WM
28 May 25 i                 `* Re: Simple enough for every reader?87Mikko
28 May 25 i                  `* Re: Simple enough for every reader?86WM
29 May 25 i                   `* Re: Simple enough for every reader?85Mikko
29 May 25 i                    `* Re: Simple enough for every reader?84WM
30 May 25 i                     +* Re: Simple enough for every reader?82Mikko
30 May 25 i                     i`* Re: Simple enough for every reader?81WM
31 May 25 i                     i `* Re: Simple enough for every reader?80Mikko
31 May 25 i                     i  `* Re: Simple enough for every reader?79WM
1 Jun 25 i                     i   `* Re: Simple enough for every reader?78Mikko
1 Jun 25 i                     i    `* Re: Simple enough for every reader?77WM
3 Jun 25 i                     i     `* Re: Simple enough for every reader?76Mikko
3 Jun 25 i                     i      `* Re: Simple enough for every reader?75WM
4 Jun 25 i                     i       `* Re: Simple enough for every reader?74Mikko
4 Jun 25 i                     i        `* Re: Simple enough for every reader?73WM
5 Jun 25 i                     i         `* Re: Simple enough for every reader?72Mikko
5 Jun 25 i                     i          `* Re: Simple enough for every reader?71WM
6 Jun 25 i                     i           `* Re: Simple enough for every reader?70Mikko
6 Jun 25 i                     i            `* Re: Simple enough for every reader?69WM
8 Jun 25 i                     i             `* Re: Simple enough for every reader?68Mikko
10 Jun 25 i                     i              `* Re: Simple enough for every reader?67WM
11 Jun 25 i                     i               `* Re: Simple enough for every reader?66Mikko
11 Jun 25 i                     i                `* Re: Simple enough for every reader?65WM
12 Jun 25 i                     i                 `* Re: Simple enough for every reader?64Mikko
12 Jun 25 i                     i                  `* Re: Simple enough for every reader?63WM
13 Jun 25 i                     i                   `* Re: Simple enough for every reader?62Mikko
13 Jun 25 i                     i                    `* Re: Simple enough for every reader?61WM
14 Jun 25 i                     i                     `* Re: Simple enough for every reader?60Mikko
14 Jun 25 i                     i                      `* Re: Simple enough for every reader?59WM
15 Jun 25 i                     i                       +* Re: Simple enough for every reader?57Mikko
15 Jun 25 i                     i                       i`* Re: Simple enough for every reader?56WM
16 Jun 25 i                     i                       i `* Re: Simple enough for every reader?55Mikko
16 Jun 25 i                     i                       i  `* Re: Simple enough for every reader?54WM
17 Jun 25 i                     i                       i   +* Re: Simple enough for every reader?52Mikko
17 Jun 25 i                     i                       i   i`* Re: Simple enough for every reader?51WM
18 Jun 25 i                     i                       i   i +* Re: Simple enough for every reader?49Mikko
18 Jun 25 i                     i                       i   i i`* Re: Simple enough for every reader?48WM
19 Jun 25 i                     i                       i   i i `* Re: Simple enough for every reader?47Mikko
19 Jun 25 i                     i                       i   i i  `* Re: Simple enough for every reader?46WM
20 Jun 25 i                     i                       i   i i   `* Re: Simple enough for every reader?45Mikko
20 Jun 25 i                     i                       i   i i    `* Re: Simple enough for every reader?44WM
21 Jun 25 i                     i                       i   i i     `* Re: Simple enough for every reader?43Mikko
21 Jun 25 i                     i                       i   i i      `* Re: Simple enough for every reader?42WM
22 Jun 25 i                     i                       i   i i       `* Re: Simple enough for every reader?41Mikko
22 Jun 25 i                     i                       i   i i        `* Re: Simple enough for every reader?40WM
23 Jun 25 i                     i                       i   i i         `* Re: Simple enough for every reader?39Mikko
23 Jun 25 i                     i                       i   i i          `* Re: Simple enough for every reader?38WM
24 Jun 25 i                     i                       i   i i           `* Re: Simple enough for every reader?37Mikko
24 Jun 25 i                     i                       i   i i            `* Re: Simple enough for every reader?36WM
25 Jun 25 i                     i                       i   i i             `* Re: Simple enough for every reader?35Mikko
25 Jun 25 i                     i                       i   i i              `* Re: Simple enough for every reader?34WM
26 Jun 25 i                     i                       i   i i               `* Re: Simple enough for every reader?33Mikko
26 Jun 25 i                     i                       i   i i                `* Re: Simple enough for every reader?32WM
27 Jun 25 i                     i                       i   i i                 `* Re: Simple enough for every reader?31Mikko
27 Jun 25 i                     i                       i   i i                  `* Re: Simple enough for every reader?30WM
28 Jun 25 i                     i                       i   i i                   `* Re: Simple enough for every reader?29Mikko
28 Jun 25 i                     i                       i   i i                    `* Re: Simple enough for every reader?28WM
29 Jun11:25 i                     i                       i   i i                     `* Re: Simple enough for every reader?27Mikko
30 Jun19:21 i                     i                       i   i i                      `* Re: Simple enough for every reader?26WM
30 Jun22:25 i                     i                       i   i i                       +* Re: Simple enough for every reader?2joes
1 Jul15:27 i                     i                       i   i i                       i`- Re: Simple enough for every reader?1WM
2 Jul08:45 i                     i                       i   i i                       `* Re: Simple enough for every reader?23Mikko
2 Jul14:51 i                     i                       i   i i                        `* Re: Simple enough for every reader?22WM
2 Jul20:05 i                     i                       i   i i                         +* Re: Simple enough for every reader?4joes
2 Jul20:23 i                     i                       i   i i                         i`* Re: Simple enough for every reader?3WM
2 Jul20:33 i                     i                       i   i i                         i `* Re: Simple enough for every reader?2joes
2 Jul21:56 i                     i                       i   i i                         i  `- Re: Simple enough for every reader?1WM
3 Jul10:35 i                     i                       i   i i                         `* Re: Simple enough for every reader?17Mikko
3 Jul14:08 i                     i                       i   i i                          `* Re: Simple enough for every reader?16WM
3 Jul15:12 i                     i                       i   i i                           +* Re: Simple enough for every reader?8joes
3 Jul20:10 i                     i                       i   i i                           i`* Re: Simple enough for every reader?7WM
4 Jul09:38 i                     i                       i   i i                           i `* Re: Simple enough for every reader?6joes
4 Jul11:15 i                     i                       i   i i                           i  `* Re: Simple enough for every reader?5WM
4 Jul12:18 i                     i                       i   i i                           i   `* Re: Simple enough for every reader?4joes
4 Jul13:23 i                     i                       i   i i                           i    `* Re: Simple enough for every reader?3WM
4 Jul13:49 i                     i                       i   i i                           i     `* Re: Simple enough for every reader?2joes
4 Jul14:29 i                     i                       i   i i                           i      `- Re: Simple enough for every reader?1WM
4 Jul08:51 i                     i                       i   i i                           `* Re: Simple enough for every reader?7Mikko
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