XPost: sci.math
On 8/4/2024 9:41 PM, Ross Finlayson wrote:
On 08/04/2024 05:49 PM, Ross Finlayson wrote:
On 08/04/2024 05:24 PM, Moebius wrote:
[...]
[...]
This is for something like
Zeno and the limit and the infinite limit,
there being a difference, and that
Zeno particularly says that
"if you don't get all the way across,
then close enough is also
close enough to half, to a quarter,
and on down the inverse powers of two,
to none".
Or Zeno says the opposite of that.
No distance can be completed without
half the distance having been completed,
and thus,
in order to complete the distance,
these tasks,
among which no task begins them,
must have been completed.
No distance can be begun to be completed.
Ignore your lying eyes:
motion is impossible.
Better:
A half, a quarter, an eighth, kai ta hetera
is not close enough.
We do not get across any finite distance.
I.e. Zeno explains that
the analytical bridge
has an inductive impasse and
must be surpassed as an infinite super-task.
Another possibility is that
motion is possible, but
the description of motion as
(not.a.supertask but) an unbeginnable set
is not a correct description.
It is a notable property of a finite ordered set
that its greatest lower bound is in the set.
However,
that is not a property shared by all sets.
In particular, as Zeno of Elea points out,
the greatest lower bound of distances covered
is zero, which isn't a distance covered.
Perhaps our eyes are not lying, but
the set of distances covered isn't finite.
[...] inductive impasse [...] infinite super-task.
Induction is a finite task
which reasons about infinitely.many.
A finite.length claim can be true of
infinitely.many by
being stated about an indefinite one, and
being true without exception.
In order to prevent exceptions,
we engage in hypocrisyᴿꟳ ==
not.making claims for what claims are not.for.
Perhaps, without hypocrisyᴿꟳ, motion is impossible.
I haven't really considered the hypothetical.
If you haven't noticed, I really like hypocrisyᴿꟳ.
You will get my hypocrisyᴿꟳ
when you pry it from my cold, dead hands.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)