Re: how

On 6/10/2024 6:28 PM, Moebius wrote:

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.

I still need to brush up on certain things...

You might learn a little bit math "lingo" and "idioms", if you like. :-)

That's basically it. :^)

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"

That simply has to help me out in this area.

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.
 

:^) Thanks Man. :^)