Re: Simple enough for every reader?

Liste des GroupesRevenir à s logic 
Sujet : Re: Simple enough for every reader?
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : sci.logic
Date : 11. Jun 2025, 08:50:56
Autres entêtes
Organisation : -
Message-ID : <102bcgv$1rtqf$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 : Unison/2.2
On 2025-06-10 17:06:18 +0000, WM said:

On 08.06.2025 07:10, Mikko wrote:
On 2025-06-06 10:47:33 +0000, WM said:
 
On 06.06.2025 09:37, Mikko wrote:
On 2025-06-05 20:36:45 +0000, WM said:
 
On 05.06.2025 09:32, Mikko wrote:
On 2025-06-04 17:32:28 +0000, WM said:
 
The expression "subtracting them individually" should be represented
mathematically, e.g. a sequence. Informal expressions tend to lead
to bad proofs.
 This expression is represented by
 ((((ℕ \ {1}) \ {2}) \ {3}) ...) = { }
 That may be good enough when you want to prove something that we already
believe anyway. But for a sufficiently rigorous proof of something else
the "..." should be replaced with something more mathematicsl.
 The "..." can be replaced with the singletons of definable natural numbers
 Then do so.
 See above. Three are already given. More can be inserted. But it is impossible to replace them with all natural numbers.
I can see that you stll have no rigorous proofs, and can't have as you
apparently can't even write your claim without "..." and other informal
expressions.
--
Mikko

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