On 06/20/2024 01:40 PM, Ross Finlayson wrote:
On 06/20/2024 09:47 AM, Jim Burns wrote:
On 6/19/2024 8:32 PM, Ross Finlayson wrote:
On 06/19/2024 01:29 PM, Ross Finlayson wrote:
On 06/19/2024 09:43 AM, Jim Burns wrote:
>
https://en.wikipedia.org/wiki/Individual
| An individual is
| that which exists as a distinct entity.
>
Nice thing about the English language:
There are separate grammatical categories for
what exists as distinct entities (count nouns)
and what doesn't (mass nouns).
>
Is the continuum a count noun or a mass noun?
(Not the best question. English ≠ math)
>
It seems to me that it crosses back and forth.
Points are definitely a count noun.
But the idea of a continuum seems
inescapably not.individuals.
>
Perhaps that count/mass dimorphism is
why the occasional poster rejects uncountability.
>
Well good sir,
mostly it's that firstly there's that
the "infinite limit" must concede that
it's actually infinite
and that
the limit is not only "close enough"
yet actually that
it achieves the limit, the sum,
because deduction arrives at that
otherwise it's no more than half,
and, not close enough.
>
That reason confuses 'infinite' with 'humongous'.
>
If I recall correctly,
I have pointed this confusion out to you, and
your riposte has been (framed non.technically)
that, yes, that's 'infinite': 'humongous'.
>
So, I'm wondering why you have clung so tightly to
this specific confusion.
>
Then there's
for division and divisibility,
the "infinite-divisibility" and
for this sort of "actually complete infinite limits"
the "infinitely-divided".
>
The infinitely.divided means the continuum limit.
The continuum limit means lattice.spacing → 0
>
The continuum is such that, for each split,
the foresplit holds a last point or
the hindsplit holds a first point.
>
The continuum limit is not the continuum.
in part because
the continuum limit is countable and
the continuum is uncountable.
>
Then it's pretty much exactly
most people's usual notion of that
an infinitude of integers,
regular both in increment and in dispersion,
so equi-distributed and equi-partitioning
the space of integers, is
the same kind of thing when shrunk to [0,1],
the space of [0,1]
as by the same members, that it fulfills
extent, density, completeness, measure,
thusly that
the Intermediate Value Theorem holds,
then thusly
any relevant standard analysis about calculus
holds, or has forms that hold.
>
The humongous shrunk to [0,1] stays
equi-distributed and equi-partitioning
However, the infinite is different, and
an analogous claim for the infinite is inconsistent.
>
No,
the intermediate value theorem does not hold
for the → 0 limit.lattice.
AKA the continuum limit.
>
What it is is that at one point
I wrote non-standard field axioms for [-1, 1],
so, now the usual
"the complete ordered field being unique
up to isomorphism"
is a distinctness result
instead of a uniqueness result.
>
The complete ordered field remains
the complete ordered field.
>
You have the freedom to write
non.standard field axioms.
If they don't describe the complete ordered field,
then they aren't complete.ordered.field axioms.
>
It does not follow from
not.the.complete.ordered.field being countable that
the complete ordered field is countable.
>
Then, another thing is about
a deconstructive account of complex analysis about
the very definition of complex numbers a + bi and
the definition of the operations upon them.
The thing is that division, for complex numbers,
the definition of division, can be de-constructed,
left and right,
so that now there are non-principal branches of
division, in complex numbers.
>
The complex field remains
the complex field.
>
The complex field has
single.valued division for non.0 numbers.
>
You have the freedom to describe (deconstructively?)
something with a different division.
It will be something different, not.the.complex.field.
>
>
You (RF) have what I consider a non.standard use
of the word 'hypocrisy'.
'Hyposcrisyᴿꟳ' seems to refer to (for example)
the practice of not.calling cats 'elephants'.
>
If that is what you mean, and you want
less hypocrisyᴿꟳ (whatever reasons you have),
you would do better by pointing out
the advantages of calling cats 'elephants'
(whatever advantages it has),
as distinct from calling cats 'elephants' yourself,
and distinct from entertaining us with stories of
classical figures calling cats 'elephants', etc.
>
>
>
Field axioms for [-1,1] their real values, ....
>
More later and thank you for your reply,
while then though the considerations of
the "potential, practical, effective, actual"
infinity get into what law(s) of large numbers apply,
as about the indefinite, humongous, un-bounded, infinite,
infinity, that there are multiple laws of large numbers
and they largely reflect these three models of continuous
domains, line-reals, field-reals, and field-reals,
and three models of Cantor space: sparse,square, and signal,
that the point about infinite limits is that they are
indeed actual.
>
It's sort of like Aristotle says, "potential is actual".
There's that and for example his two models of continuous
domains, which are like line-reals and field-reals.
>
>
>
"Confusion", "conflation", "confoundation", are all
usual terms indicating that things are of a whole
or pressed together or springing forth together,
"condescension" usually meaning a different thing,
yet there also reflections, in: reflections, as
about symmetries, and duals.
I.e., sometimes they are the simple usual meanings,
then about how it's implied that out of confusion,
is a dialectic, to result clarity, out of conflation,
is a dialectic, to result clarity, or out of confoundation,
is a deconstructive account, to result clarity.
Here infinity is about the greatest number, and rather
as like zero, effects to reflect that the terms of the
point, and the terms of the space, exist in their reference
to each other, besides how they exist in their reference
to themselves.
Aristotle's more than a classical figure, it's authoritative,
and just like Zeno brings logical confoundations and confusions
and conflations, requiring a dialectic and deconstructive
account to make sense of things, has that otherwise it
results closed things which are open. That's the "ignorance"
part I suppose, when it's upon all reasoning beings to
figure things out, and the idea of "Foundations" is that
there's a great out-figuring the altogether.
So, over the past year or so we've had some good
discussions about convergence, about Zeno and his
bridge, if we were to for example follow this kind
of thread where getting rid of anything that didn't
_resolve confounding conflating confusing duals_
together, it may appear much more digestible,
and part of the silver thread of an overall
dialectic of foundations as a strong mathematical
platonism also confiscating logical positivism,
if discarding nomimalism and fictionalism as,
nomimalism and fictionalism.
About the unbounded, counting is a resource often
equated with time or any other bounded resource.
Now, as mathematicians we've made an abstraction
where there's an infinitude of numbers, and it
happens to so correlate with all what nature
discloses to us as a form of science, and as
well that analytically it arrives as from means,
mediums, the milieu, and the deductive accoutrement
with the resources of the collected canon of the
overall dialectic of the foundations.
Then, nature has a particular abundance that
us plain old wet-ware finger-counting analytic
geometers and number theorists don't, in terms,
"actually counting infinity", or there's a theory
where that's so which is just as good, yet,
being the usual senses or Sens the animatronic
there's that reasoning agents have an object sense,
and a number sense and a word sense, and a sense
of time, and a sense of the continuum. So, this
way philosophy doesn't bar us from considering
the logical objects arise themselves with "infinity"
as actual: and natural.
"Hypocrisy" means not being critical enough,
and claiming something's so when it's confounded,
confused, conflated, or condescending, and not
explaining what's so is so.
Not to be confused with "hippoio", "hi-po I/O".
This is that instead of logical paradox, things
that do flatten themselves together, fuse themselves
together, found themselves together, come down together:
do, then, how they do, meeting in the middle, the
middle of nowhere, in a square of opposition,
complementary duals.
Then, this is called a deconstructive account,
and for apologetics, which means figuring out
how things get back together again, and how
they're right.
The universe of mathematical objects, that is, ....
V
Re: V