Re: how

Moebius <invalid@example.invalid> writes:

Am 15.05.2024 um 15:30 schrieb WM:
>

NUF(x) cannot <bla bla bla>

In this case the "bla bla bla" being about NUF(x) jumping to being > 1
for some x "before" NUF(x) = 1 for some (presumably smaller) x.

NUF(x) = 0 für x e IR, x <= 0
>
und
>
NUF(x) = ℵ₀ für x e IR, x > 0.
>
This means: img(NUF) = {0, ℵ₀}.

One thing that sometimes works (in the sense of showing WM as incapable
of answering) is to try to get him to explain how things work in WMaths
without it's actual infinities.  It's hard because he will fight tooth
and nail not to talk about WMaths despite claiming that it's "proper
maths".

You have to re-phrase things so he can't duck out of the challenge so
here one could define CUF(X) as the number of unit fractions in the set
X capped at 10 -- no infinities, potential or otherwise in sight.

 CUF({0}) = 0
 CUF({0, 1/3, 2/3, 1}) = 2
 CUF({1/2, 1/3, 1/4, 1/5, 1/6, 1/7, 1/8, 1/9, 1/10, 1/11, 1/12}) = 10

and then WMUF(x) = CUF([0, x]).  Presumably in WMaths

  WMUF(x) =  0  for x e IR, x <= 0 and
  WMUF(x) = 10  for x e IR, x > 0.

so WM would have to explain how WMUF(x) can get to 10 without being 1
for some smaller x.

I suggest this simply because you seem to have some enthusiasm for the
game.  I don't anymore.

--
Ben.