Re: how

Liste des GroupesRevenir à s math 
Sujet : Re: how
De : invalid (at) *nospam* example.invalid (Moebius)
Groupes : sci.math
Date : 11. Jun 2024, 02:28:08
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v48978$n11b$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
Am 11.06.2024 um 01:15 schrieb Chris M. Thomasson:
On 6/10/2024 4:09 PM, Moebius wrote:

What do you "mean" be "refining"? :-P
>
I guess you mean some sort of ""reduction"" (or "filtering").
>
Actually, I've never heard about this (in a math context).
>
But it certainly can be defined.
>
Let's call this operation "nat".
>
Then
>
     nat [.5, 1, 1.5, 2, ...] = [1, 2, ...] .
>
And, say,
>
     nat [.5, 2, 1.5, 7, ...] = [2, 7, ...] .
 14/2 is seven, a natural? Filtering out all of the non-natural numbers 7 is in there as 14/2?
Exactly.
Java ... streams comes to mind ...

Fair enough, or just as crazy as WM? Maybe worse?
C'mon, man, you are skilled guy.
You might learn a little bit math "lingo" and "idioms", if you like. :-)
I'd suggest:
- Princeton Companion to Mathematics
https://www.amazon.de/Princeton-Companion-Mathematics-Timothy-Gowers/dp/0691118809
Only ~1000 pages. :-)
Especially: "I.2 The Language and Grammar of Mathematics"
See: https://www.academia.edu/97775203/The_Princeton_Companion_to_Mathematics_T_Gowers
and (of course)
- A. Tarski, Introduction to Logic and to the Methodology of Deductive Sciences
A rather little book.

Date Sujet#  Auteur
24 Mar 24 * V1414WM
24 Mar 24 +* Re: V20Chris M. Thomasson
24 Mar 24 i`* Re: V19WM
24 Mar 24 i `* Re: V18Chris M. Thomasson
24 Mar 24 i  `* Re: V17WM
24 Mar 24 i   +* Re: V15Chris M. Thomasson
25 Mar 24 i   i`* Re: V14WM
26 Mar 24 i   i +* Re: V11Chris M. Thomasson
26 Mar 24 i   i i`* Re: V10WM
26 Mar 24 i   i i +* Re: V6Chris M. Thomasson
27 Mar 24 i   i i i`* Re: V5WM
27 Mar 24 i   i i i `* Re: V4Chris M. Thomasson
28 Mar 24 i   i i i  `* Re: V3WM
28 Mar 24 i   i i i   `* Re: V2Chris M. Thomasson
28 Mar 24 i   i i i    `- Re: V1Chris M. Thomasson
26 Mar 24 i   i i +- Re: V1Chris M. Thomasson
26 Mar 24 i   i i `* Re: V2Chris M. Thomasson
26 Mar 24 i   i i  `- Re: V1Chris M. Thomasson
11 Jun 24 i   i `* Re: V2Chris M. Thomasson
11 Jun 24 i   i  `- Re: V1Moebius
24 Mar 24 i   `- Re: V1Chris M. Thomasson
24 Mar 24 +* Re: Contradiction of bijections as a measure for infinite sets1383WM
24 Mar 24 i+* Re: Contradiction of bijections as a measure for infinite sets1301Dieter Heidorn
25 Mar 24 ii`* Re: Contradiction of bijections as a measure for infinite sets1300WM
25 Mar 24 ii +* Re: Contradiction of bijections as a measure for infinite sets2Richard Damon
25 Mar 24 ii i`- Re: Contradiction of bijections as a measure for infinite sets1WM
25 Mar 24 ii `* Re: Contradiction of bijections as a measure for infinite sets1297Jim Burns
26 Mar 24 ii  `* Re: Contradiction of bijections as a measure for infinite sets1296WM
26 Mar 24 ii   `* Re: Contradiction of bijections as a measure for infinite sets1295Jim Burns
26 Mar 24 ii    +* Re: Contradiction of bijections as a measure for infinite sets1283Chris M. Thomasson
26 Mar 24 ii    i`* Re: Contradiction of bijections as a measure for infinite sets1282Jim Burns
27 Mar 24 ii    i `* Re: Contradiction of bijections as a measure for infinite sets1281WM
27 Mar 24 ii    i  +* Re: Contradiction of bijections as a measure for infinite sets1279Jim Burns
28 Mar 24 ii    i  i`* Re: Contradiction of bijections as a measure for infinite sets1278WM
28 Mar 24 ii    i  i +- Re: Contradiction of bijections as a measure for infinite sets1Chris M. Thomasson
29 Mar 24 ii    i  i `* Re: Contradiction of bijections as a measure for infinite sets1276Richard Damon
30 Mar 24 ii    i  i  `* Re: Contradiction of bijections as a measure for infinite sets1275WM
30 Mar 24 ii    i  i   `* Re: Contradiction of bijections as a measure for infinite sets1274Richard Damon
31 Mar 24 ii    i  i    `* Re: Contradiction of bijections as a measure for infinite sets1273WM
31 Mar 24 ii    i  i     +* Re: Contradiction of bijections as a measure for infinite sets1271Richard Damon
1 Apr 24 ii    i  i     i`* Re: Contradiction of bijections as a measure for infinite sets1270WM
1 Apr 24 ii    i  i     i +- Re: Contradiction of bijections as a measure for infinite sets1FromTheRafters
2 Apr 24 ii    i  i     i `* Re: Contradiction of bijections as a measure for infinite sets1268Richard Damon
2 Apr 24 ii    i  i     i  `* Re: Contradiction of bijections as a measure for infinite sets1267WM
2 Apr 24 ii    i  i     i   `* Re: Contradiction of bijections as a measure for infinite sets1266Jim Burns
2 Apr 24 ii    i  i     i    +* Re: Contradiction of bijections as a measure for infinite sets9Moebius
2 Apr 24 ii    i  i     i    i`* Re: Contradiction of bijections as a measure for infinite sets8Jim Burns
3 Apr 24 ii    i  i     i    i +- Re: Contradiction of bijections as a measure for infinite sets1Moebius
3 Apr 24 ii    i  i     i    i `* Re: Contradiction of bijections as a measure for infinite sets6Jim Burns
3 Apr 24 ii    i  i     i    i  `* Re: Contradiction of bijections as a measure for infinite sets5Jim Burns
4 Apr 24 ii    i  i     i    i   `* Re: Contradiction of bijections as a measure for infinite sets4Ross Finlayson
4 Apr 24 ii    i  i     i    i    `* Re: Contradiction of bijections as a measure for infinite sets3Jim Burns
5 Apr 24 ii    i  i     i    i     `* Re: Contradiction of bijections as a measure for infinite sets2Jim Burns
6 Apr 24 ii    i  i     i    i      `- Re: Contradiction of bijections as a measure for infinite sets1Jim Burns
3 Apr 24 ii    i  i     i    `* Re: Contradiction of bijections as a measure for infinite sets1256WM
3 Apr 24 ii    i  i     i     +* Re: Contradiction of bijections as a measure for infinite sets1223FromTheRafters
4 Apr 24 ii    i  i     i     i+- Re: Contradiction of bijections as a measure for infinite sets1Ross Finlayson
4 Apr 24 ii    i  i     i     i+* Re: Contradiction of bijections as a measure for infinite sets1220WM
4 Apr 24 ii    i  i     i     ii+* Re: Contradiction of bijections as a measure for infinite sets7Richard Damon
4 Apr 24 ii    i  i     i     iii`* Re: Contradiction of bijections as a measure for infinite sets6WM
4 Apr 24 ii    i  i     i     iii +* Re: Contradiction of bijections as a measure for infinite sets4Richard Damon
5 Apr 24 ii    i  i     i     iii i`* Re: Contradiction of bijections as a measure for infinite sets3WM
5 Apr 24 ii    i  i     i     iii i `* Re: Contradiction of bijections as a measure for infinite sets2Richard Damon
6 Apr 24 ii    i  i     i     iii i  `- Re: Contradiction of bijections as a measure for infinite sets1Ross Finlayson
4 Apr 24 ii    i  i     i     iii `- Re: Contradiction of bijections as a measure for infinite sets1Tom Bola
5 Apr 24 ii    i  i     i     ii`* Re: Contradiction of bijections as a measure for infinite sets1212FromTheRafters
6 Apr 24 ii    i  i     i     ii `* Re: Contradiction of bijections as a measure for infinite sets1211WM
6 Apr 24 ii    i  i     i     ii  `* Re: Contradiction of bijections as a measure for infinite sets1210Richard Damon
6 Apr 24 ii    i  i     i     ii   `* Re: Contradiction of bijections as a measure for infinite sets1209WM
6 Apr 24 ii    i  i     i     ii    `* Re: Contradiction of bijections as a measure for infinite sets1208Richard Damon
6 Apr 24 ii    i  i     i     ii     `* Re: Contradiction of bijections as a measure for infinite sets1207WM
6 Apr 24 ii    i  i     i     ii      `* Re: Contradiction of bijections as a measure for infinite sets1206Richard Damon
7 Apr 24 ii    i  i     i     ii       `* Re: Contradiction of bijections as a measure for infinite sets1205WM
7 Apr 24 ii    i  i     i     ii        `* Re: Contradiction of bijections as a measure for infinite sets1204Richard Damon
7 Apr 24 ii    i  i     i     ii         `* Re: Contradiction of bijections as a measure for infinite sets1203WM
7 Apr 24 ii    i  i     i     ii          `* how1202Richard Damon
8 Apr 24 ii    i  i     i     ii           `* Re: how1201WM
9 Apr 24 ii    i  i     i     ii            `* Re: how1200Richard Damon
9 Apr 24 ii    i  i     i     ii             +* Re: how1180WM
10 Apr 24 ii    i  i     i     ii             i+* Re: how2Chris M. Thomasson
10 Apr 24 ii    i  i     i     ii             ii`- Re: how1Chris M. Thomasson
10 Apr 24 ii    i  i     i     ii             i`* Re: how1177Richard Damon
10 Apr 24 ii    i  i     i     ii             i +* Re: how8WM
11 Apr 24 ii    i  i     i     ii             i i`* Re: how7Richard Damon
11 Apr 24 ii    i  i     i     ii             i i `* Re: how6WM
12 Apr 24 ii    i  i     i     ii             i i  `* Re: how5Richard Damon
12 Apr 24 ii    i  i     i     ii             i i   `* Re: how4WM
12 Apr 24 ii    i  i     i     ii             i i    `* Re: how3Richard Damon
12 Apr 24 ii    i  i     i     ii             i i     `* Re: how2WM
12 Apr 24 ii    i  i     i     ii             i i      `- Re: how1Richard Damon
10 Apr 24 ii    i  i     i     ii             i +* Re: how1167WM
11 Apr 24 ii    i  i     i     ii             i i+- Re: how1FromTheRafters
11 Apr 24 ii    i  i     i     ii             i i`* Re: how1165Richard Damon
11 Apr 24 ii    i  i     i     ii             i i `* Re: how1164WM
11 Apr 24 ii    i  i     i     ii             i i  +* Re: how1155Jim Burns
12 Apr 24 ii    i  i     i     ii             i i  i`* Re: how1154WM
12 Apr 24 ii    i  i     i     ii             i i  i +* Re: how29Tom Bola
12 Apr 24 ii    i  i     i     ii             i i  i i+* Re: how26WM
12 Apr 24 ii    i  i     i     ii             i i  i ii+- Re: how1Tom Bola
12 Apr 24 ii    i  i     i     ii             i i  i ii+* Re: how23Tom Bola
12 Apr 24 ii    i  i     i     ii             i i  i iii`* Re: how22WM
12 Apr 24 ii    i  i     i     ii             i i  i ii`- Re: how1Chris M. Thomasson
12 Apr 24 ii    i  i     i     ii             i i  i i`* Re: how2Chris M. Thomasson
12 Apr 24 ii    i  i     i     ii             i i  i `* Re: how1124Jim Burns
12 Apr 24 ii    i  i     i     ii             i i  `* Re: how8Richard Damon
11 Apr 24 ii    i  i     i     ii             i `- Re: how1Chris M. Thomasson
18 Apr 24 ii    i  i     i     ii             `* Re: how19Phil Carmody
5 Apr 24 ii    i  i     i     i`- Re: Contradiction of bijections as a measure for infinite sets1FromTheRafters
4 Apr 24 ii    i  i     i     `* Re: Contradiction of bijections as a measure for infinite sets32Jim Burns
31 Mar 24 ii    i  i     `- Re: Contradiction of bijections as a measure for infinite sets1Chris M. Thomasson
28 Mar 24 ii    i  `- Re: Contradiction of bijections as a measure for infinite sets1Richard Damon
26 Mar 24 ii    `* Re: Contradiction of bijections as a measure for infinite sets11WM
24 Mar 24 i+* Re: Contradiction of bijections as a measure for infinite sets4Richard Damon
24 Mar 24 i+* Re: Contradiction of bijections as a measure for infinite sets71FromTheRafters
31 Mar 24 i`* Re: Contradiction of bijections as a measure for infinite sets6Moebius
24 Mar 24 +* Re: V6FromTheRafters
2 Jun 24 `* Re: V4Moebius

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal