X-Received: by 2002:a05:622a:15c5:b0:3fd:d29e:5d37 with SMTP id d5-20020a05622a15c500b003fdd29e5d37mr1257413qty.1.1686960437593; Fri, 16 Jun 2023 17:07:17 -0700 (PDT)
X-Received: by 2002:a25:bccf:0:b0:bb6:c0d2:2451 with SMTP id l15-20020a25bccf000000b00bb6c0d22451mr112738ybm.6.1686960437250; Fri, 16 Jun 2023 17:07:17 -0700 (PDT)
Path: csiph.com!tncsrv06.tnetconsulting.net!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.logic
Date: Fri, 16 Jun 2023 17:07:17 -0700 (PDT)
In-Reply-To: <2221a2b7-2910-48e2-ab35-a6b40cc1667en@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <77d5dd37-e474-426f-b536-9ee66b2b7232n@googlegroups.com> <d4872593-9a25-4ab8-8c94-1d31d328586cn@googlegroups.com> <0a3c1c44-1dfb-4c95-8135-de6b33984451n@googlegroups.com> <b20fab3e-3256-4fb5-87da-459884d9f2e3n@googlegroups.com> <6f769c26-e42f-4fdb-a6d8-72181dccad25n@googlegroups.com> <969f397f-1805-4123-b9e5-5710e1ab4d7fn@googlegroups.com> <05a87431-fee8-40ef-82ff-56aa6fc2fabdn@googlegroups.com> <6873ef2b-530f-4b7d-838c-115a6e3f6932n@googlegroups.com> <ef37f091-c8f4-4401-be4b-2c6fad7e7131n@googlegroups.com> <006a211f-c07e-497b-a970-50113c5e6b3cn@googlegroups.com> <daa463f7-e6d3-4a34-a81b-ea8ec099a3c5n@googlegroups.com> <08f21a4a-170e-4b95-aaca-4edf20ee1813n@googlegroups.com> <f9d02454-c11c-4be5-a3ae-46eaa430c557n@googlegroups.com> <a1a04e8d-9223-4a55-8d7d-09f38592dd31n@googlegroups.com> <edec0db3-0f0e-4e78-8267-52548b1dc674n@googlegroups.com> <982abeab-52f1-4942-b877-e7bc822e21f6n@googlegroups.com> <d992cfe4-8e05-4bcc-a62a-5712061bf041n@googlegroups.com> <u5l73e$us46$1@solani.org> <646a21f7-82b2-4227-b946-203957360518n@googlegroups.com> <2a83fe48-3d89-4037-a689-91367a8309dfn@googlegroups.com> <e86f165a-eb51-4b7b-b748-686f8466b252n@googlegroups.com> <4c420b53-8ccc-4d5e-8553-044f0a114250n@googlegroups.com> <e472f7a0-6bf0-426a-ae49-1b36537df2ccn@googlegroups.com> <98fa9f7a-a5af-4ef5-88e1-8af7588eb7f7n@googlegroups.com> <d7677cdb-b171-4ac2-b367-da47fcd57b7fn@googlegroups.com> <3ccc8d50-6880-4c44-a037-d7d4828fad8fn@googlegroups.com> <886a373e-aed3-4e59-969c-20554de8dddan@googlegroups.com> <2221a2b7-2910-48e2-ab35-a6b40cc1667en@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e8d4bb9b-b80d-4b0f-9c58-1b794743255dn@googlegroups.com>
Subject: Re: A Paradox of Equality?
From: Mild Shock <bursejan@gmail.com>
Injection-Date: Sat, 17 Jun 2023 00:07:17 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 5760
Xref: csiph.com sci.logic:254452


Here some Unicode exploration, how does this show?

=E1=BA=8F, =C3=BF, etc..

More about the notation:

Newton's notation is generally used when the independent=20
variable denotes time. If location y is a function of t, then=20
=E1=BA=8F denotes velocity and =C3=BF denotes acceleration. This notation=
=20
is popular in physics and mathematical physics. It also appears=20
in areas of mathematics connected with physics=20
such as differential equations.
https://en.wikipedia.org/wiki/Notation_for_differentiation#Newton's_notatio=
n=20

Mild Shock schrieb am Samstag, 17. Juni 2023 um 01:59:17 UTC+2:
> People are so dull here, they are interesting in calculus.=20
> But do they know why Newton was interested in calculus.=20
> I am pretty sure John Gabriel has never seen a function=20
>=20
> f : R->R, y =3D f(x), where x is the "time". Thanks to newton we=20
> have even a very short notation for the differential, namely=20
> the flyspeck notation, you just place a dot over y:=20
>=20
> Isaac Newton's notation for differentiation (also called the=20
> dot notation, fluxions, or sometimes, crudely, the flyspeck=20
> notation for differentiation) places a dot over the dependent variable.=
=20
> https://en.wikipedia.org/wiki/Notation_for_differentiation#Newton's_notat=
ion=20
>=20
> to get f'(x). Same for Rossy Boy, when he talks about=20
> "function theory" he has possibly no clue what kind of=20
> functions are of interest in mathematics?=20
>=20
> Do we use mathematics to predict the future? Well if=20
> you have a controller you try possibly to predict and even=20
> influence the future. Now the most crank here is=20
>=20
> Dan Christensen, who is totally clueless about modal=20
> logic. Recommended reading could be:=20
>=20
> Papers on time and tense=20
> by Prior, A. N. (Arthur N.), 1914-1969=20
> https://archive.org/details/papersontimetens0000prio_k3r9/page/n5/mode/2u=
p
> Mild Shock schrieb am Freitag, 16. Juni 2023 um 14:53:37 UTC+2:=20
> > I am very intrigued by Dan Christensen, the inventor of=20
> > the Generalized Drinker Paradox:=20
> >=20
> > 9 ALL(s):[Set(s) =3D> EXIST(x):[x e s =3D> Q(x,s)]]=20
> > 4 Conclusion, 2=20
> > http://www.dcproof.com/STGeneralizedDrinkersThm.htm=20
> >=20
> > If we apply the same Russell Paradox fallacy of set modelling=20
> > to the problem of alive and dead we get:=20
> >=20
> > /* Everybody Dies Eventually */=20
> > EXIST(x):[~x e a =E2=88=AA now]=20
> >=20
> > /* Everybody Reincarnates Eventually */=20
> > EXIST(x):[~x e d =E2=88=AA now]=20
> >=20
> > /* Everybody Breaks the Cycle Eventually */=20
> > EXIST(x):[~x e a =E2=88=AA d =E2=88=AA now]=20
> >=20
> > The later can be used to derive an inconsistency,=20
> > if we assume that alive and death are opposites.=20
> > Ross Finlayson schrieb am Dienstag, 6. Juni 2023 um 04:04:39 UTC+2:=20
> > > No they absolutely do _not_ need material implication,=20
> > > unless you'd care to violate their causality.=20
> > >=20
> > > In which case they don't need you, ....