Path: ...!Xl.tags.giganews.com!local-4.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 13 Nov 2024 04:23:05 +0000
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers
 (expressions)
Newsgroups: sci.math
References: <vg7cp8$9jka$1@dont-email.me>
 <0e67005f-120e-4b3b-a4d2-ec4bbc1c5662@att.net> <vgab11$st52$3@dont-email.me>
 <ecffc7c0-05a2-42df-bf4c-8ae3c2f809d6@att.net> <vgbca2$141up$2@dont-email.me>
 <38222bb0-3dd3-4afd-a2a8-b8af464fdce7@att.net> <vgbk59$15j5b$2@dont-email.me>
 <vgbnkf$16152$2@dont-email.me> <vh13ma$1rohh$12@dont-email.me>
 <vh13qr$1rohh$13@dont-email.me> <vh155l$1t1dr$7@dont-email.me>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Tue, 12 Nov 2024 20:23:12 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <vh155l$1t1dr$7@dont-email.me>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <-lCdneHdC640tKn6nZ2dnZfqn_WdnZ2d@giganews.com>
Lines: 90
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-KaMDUF5qy0OlCkOk9XJ14CI2YhqrTpHMxemu/2lVKSNu/QjhHIAvjh3zHECMGQOsM/JXnno1kdtaEag!FvYQzxtYR+L7QHdpXxZaCx4BuadtxauyYMNdAn8h7vOCUGgSU6rwdEQRIbeKDuumJ5SRgbix9TNP
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 4162

On 11/12/2024 07:07 PM, Moebius wrote:
> Am 13.11.2024 um 03:44 schrieb Chris M. Thomasson:
>
>> [...] different ways to represent zero?
>>
>> 0 = 3-4+1 = 4-4 = 2*0 = 0
>>
>> ect.
>
> Right. "3-4+1", "4-4", "2*0", "0", are just different NAMEs (math:
> TERMs) to denote (refer to) _one and the same_ number, namely zero
> (usualy, denoted with "0").
>
> Hint: Suoerman is Clark Kent.

In positive numbers it's "additive partitions", for addition.

Then, those would usually be "expressions", of "terms".

The "numeral" as representing the "number", with regards
to that being an equivalence class of values in numbers
for example the real-valued, yes usually is "positional
notation" and as according to "a radix" and "the radix",
that it has a radix the "decimal point" and is in a
radix "the base".

The "transitive" equalities the expressions what "associate",
are each terms and terms and terms again and
expressions and expressions and expressions again.

So, the additive partitions and multiplicative partitions,
how many of those is a combinatorial expression, as is
the class of those that exist.


Are numerals and operators and relaters each expressions?
In a sense they represent the classes of all they fulfill.

So, much like logic can be "terms, predicates, relations",
or "terms, propositions", and some would have those be
"constants, terms", here it's most generally "relations".


So, more than "ways to write zero",
is "ways to write, where zero".

Then, I don't know a better word than "relater" for
the symbol of relates, for equality or inequality or
otherwise composition according to associativity and
transitivity, where as well, operators relate.  A
usual symbol for relates is "~", or "R" when introductory.

How about

Int f dx = df/dx

f = d^2 f /dx^2


f = 0
f = e^x
   or
f = EF(n)

There are some other functions their own anti-derivative.

Then there are functions like sin/cos, that oscillate,
sin/-cos/-sin/cos, each own _fourth_ derivative.


Anyways, it's funny that EF(n) is its own anti-derivative,
when you wouldn't usually figure that a discrete function
was even integrable.


There are functions whose derivative is their inverse.

f(x) = x^phi / phi^{-phi}  ?


https://math.stackexchange.com/questions/735695/function-whose-inverse-is-also-its-derivative

Notice they're looking symmetrical about the identity.
That is to say, for a wide class of functions and their
inverses in [0, oo) symmetrical about x = y.


There's only one real number 1/phi = phi - 1, it's phi.