Oft discussed, oft erudite, oft esoteric, oft arcane, paradoxes at the edge of infinity and infinitesimal oft exposing flaws in linguistic analysis, thinkabouts with answers not otherwise attainable... |

[See also 'infinity comp']

#1. The edge of infinitesimal can be illustrated by the following comparison:

`{y = x ; y = 0}`

;

`{y = x`

.
^{2} ; y = 0}

Both systems, pairs of equations, have an intercept at [x y] = [0 0]. However, the first system instantly diverges while the second does not: For x = ∂, infinitesimal not identically zero, the first diverges to [∂ ∂] on a slope of δ=1; while in the second [∂ ∂²] the y-value is an infinitesimal of the x-value itself, on a slope of δ = 0,—challenging the notion that the two curves in the second system intercept at only one, point, when a slope of 0 is satisfied by an adjacent y-value actually=0, as the slope on either side is negative or positive and only zero can lie between, so a lone point would not have a single-slope but a discontinuous pair of slopes=0± (±1/∞) ≠ 0, (the usual proof of derivative-slope is that the point is midway on a curve with chord-slope=0 and therefore there exists a tangent-slope=0). The finite interpretation is that a difference in x results in no difference in y for zero slope, and infinitesimal times zero should likewise not—not if 0.999... = 1.000.... But eventually y diverges infinitesimally when x exceeds infinitesimal, to the square-root of infinitesimal in this case, though not-yet finitesimal. Thus there is a tower structure in the transfinitesimal, qualification, range, and infinity is not the direct extension of arbitrarily large, and induction has a ways further to go—never crossing the chasm between finity and infinity, though mathematicians had long presumed.

Let's consider more closely:

`y = e`

;
^{-1/x} : x>0 ; y=0

its first y equivalent to:

`y = e`

,
^{-n} : n=1/x : x>0

like the number 1.000...-0.999... at its n-th fraction-digit: this system converges slower-still near x=0,
And is discontinuous there: Its first y-derivative is `e`

which is about ^{-1/x}/x² : x>0`e`

but even as n→∞ and nears x=0 it
never reaches y=0 nor slope=0: For n to reach infinity -its all- is no sooner than 1/x and its discontinuity...
Thus implicating a class principle of continuity, versus a distinction between 0.999... and 1.000...,
and a regradation among finitely vs. infinitely, Any, Each, Every, All.
^{-n} n²

#2. Integration of derivative leftovers:

One of the early calculus paradoxes was why we'd take derivatives without keeping infinitesimal excesses somewhere in the result for later re-integration to recover exactly the original rather than arbitrate with some additive constant...

#3. Is 1/n : n→∞ closed or open:

As n→∞, 1/n→0 but does it = 0 or = 0+ when n goes infinite...

(cf e^{-1/z} = supra-∞-pole at z = 0-, = 1 at z = 0 along the y-axis, = 0 at z = 0+)

1/0+ = +∞,

1/0- = -∞,

but 1/0 is undefined, not = ±∞

#4. A simple infinity-race-paradox:

A and B play infinity-paradox games: In the simplest, A and B both, iteratively pick successive numbers one higher than the other—so ultimately which of A or B picks the highest number, Does an ultimate exist, Does it change by who-goes-first (equality of plays), Do we call it a tie because neither succeeds ahead of the other...

#5. Zeno time-forced-decision paradox:

Suppose they play faster with practice, and each pick takes 10% less time ergo the total time is 1/(1-90%) = 10 units, and the last play is done, so there must be an answer; Do they tie-win as neither can finally pick the largest, or more specifically did they transition into infinite-counting, so they infinity-tie, But, how do they transition to 10 units of time: they take one-last 'final' infinitesimal time-step (which for Zeno was like 1/10^{n} n→∞); But when, did finite-counting transition to infinite-(open)-count; And, does countable-infinity transition to uncountable-infinity (supra-infinity) infinite-(closed)-count some kind of infinity-plus-infinity where All is infinite but infinite is not all...

#6. Advanced game where the first player accumulates a list of picks:

The same goes for the game of picking a list of fractions to include all-fractions-not-previously-included, Does A's list include B's last exceptional single, or does B ultimately get the last not in A's all-inclusive list... and is custodian C's sweep of everything B discards, as large as A's list except for the first-play B never picked....

Consider where A picks the very-number B picked, to be the next-number in A's list—does B ultimately pick the infinite-last not-in-the-list, or does A ultimately include B's last into the list, (same race as above)...

(Note that this implicates the number of B-picks is also countable, so it's probably not the case that B had more.)

For if-so then the number of irrationals is countable for the list of all fractions generated high-digits-first must include every single fraction of eventually in-the-time-constrained-sense infinitely many digits...

But whereas the number of steps is deemed countable, does countable become uncountable when it goes infinite—(is infinity countable)...

(We also note that the whole process of generating outpicks is a finite—ergo countable—process [construction] so the count of outpicks cannot be 'uncountable' as so many mathematicians have supposed... Also one might -try to- find a procedure for generating 'all' irrationals into a 'superdiagonal' list—for starters ^{n}√m/k which already include, all rationals, and expand that by periodically replacing natural numbers by other such algebraically generated rationals and irrationals—but then there'd be transcendentals to generate, too, and, super-'esoteric'-transcendentals that aren't generated by any elementary function....)

#7. Ultimate Zeno:

What is the value of n immediately preceding Achilles = Tortoise... and, the value immediately preceding that, i.e. if infinite (for an infinitesimal distance-difference) then when did n transition from finite to infinite—who, takes, those very-last-one-more-steps to the limit from open-set toward closed-set, if mathematical numbers cannot....

As the difference in the last-few-steps becomes 1/∞² for 1/∞ (or smaller for 1/10^{∞}), does the one-last-step make one-larger-than-countable-infinity enough to reach the limit, or is it a logically separable process [regime]...

Counting infinity is already larger than infinity in that infinity always has room for infinite more than counted...

We say ∞ = ∞+1 which is true in the finite context, but unless infinitesimal = zero the points thereat must be orderable in a Zenoic utility sense...

#8. Uncountable is not-much larger than countable:

If the step from 'Zenoic' infinite-open (1/∞) to infinite-closed (= 0) is one, step, then the number of irrationals must be uncountable in an expanded-property-sense (cf quaternions lose commutativity but only as anti-commutative), and these are thus only indirectly-countable associated one-for-one with a countable... e.g. in the Lebesgue paradox which is merely Zeno's paradox applied to the full interval of rationals (m/n rather than 1/n), the rationals are zero-width points while the fill-in-closures indirectly-countable-one-each between the rationals have length-measure where point-to-point-spacing becomes 'closed' (ergo integrable)....

#9. 'All digits' (open-infinite) of a fraction:

Specifying a fraction by its infinitely-many digits must have the same infinite-open constraint—that it's not-closed though infinitesimally-close to the number-intented, because it has a leftover infinitesimal-value-last-step-to-closure, even under the Zenoic-time-constraint that leaves closure to one-last-infinitesimal-time-step....

This, is how, indirectly-countable-fill-in-closure-irrationals are infinitesimal-intervals, not zero-width points such as rationals (m/n), but between points... in fact any number defined by asymptotic infinite series, such as also repeating-decimal form rationals, is an infinitesimal-interval (having Lebesgue measure)—which is why we say the irrationals are included in the top-down-digit-construction of decimals... (Note that points also include all the definitively constructible irrationals such as ^{m}√n/k and as well limits, definitively one-step-beyond nonterminating, one-step-beyond Open definition, etc...).

#10. Zeno-type relative-race decisions:

A line of movie-goers with tickets proceeds to the open entrance door and without stopping each flashes their ticket at the usher and continuing walks through into the theatre... Assuming the velocity is constant for each goer at entry, we consider the relative-velocity of approaching the door as positive and receding as negative... But is their velocity right-in-the-doorway, positive, negative, zero (like an average), all velocities within those limits, no velocity...

#11. Moving within a bin:

If a sample is tossed back into its original infinite source set, will it ever be found again... p = 1/∞ →0+.

#12. Subtraction:

If 2 are added and 1 is removed, iteratedly infinitely, does it fill, or does it empty because each added is eventually removed, Differentially it fills, Does the outcome change by subprocessing, renaming, renumbering the entries or exits (reducing the probability of finding each; is infinity dependent on probability), How-about by regrouping/reordering the summations e.g 1+(1-1)+(1-1)+(1-1)+... vs 1+1-(1-1)-(1-1)-(1-1)+....

#13. Knock-off paradoxes:

#13a. Infinite outer cosmos, finite inner cosmos—

where infinitesimal processes integrated over infinite-time-preceding and infinite-space-to-occur resulted in finitesimal particles and objectifications, e.g. the cosmos-we-know-inside and infinitely-many-preceding and-to-come-after outside but the travel-distance to the next exo-cosmos may exceed the existence time of either, whence there is no intercommunication in the present tense but for occupants who've preexisted in some-other long-long-long,-ago....

#13b. Particles—

are energy convolved on itself at the local speed-of-energy (i.e. light speed) no faster nor slower but for exponentially-diminishing terms, and so steering-diverting to new course by absorbing energy (e.g. a photon)...

#13c. Time travel—

means being aware that your future-self is attempting to communicate back to you now vs. being aware of cause-and-effect now... alternatively would need FTL-travel and cosmic synchronization to reach time-forward or time-past cosmic situations at distances ahead or behind, within story-time, or, would have zero-mass (as being developed in my Plan of Time screenplay)—or a cosmic-aether-mass-energy-resource but n.b. gravity-potential-energy is already its extended mass-energy 'halo'...
(or, wackier, e.g. coming-from-behind-to-arrive-before as in Einsteinian Relativity).

#14. Stability, convergent differences:

#1. series Σ^{∞}1/n total = odds + (evens = 1/2 total) so odds = 1/2 total but odds - evens = (1/2) + (1/12) + (1/30) +... → ln 2, finite difference;

Unless, half-speed sampling of evens 'gains at half-speed' and comes-up with a 'smaller' infinity—the issue of infinite countability must include Zeno-speed-rates....

#2. Riemann analytic continuation is pointwise convergent not uniformly, convergent....

*Closing sidebar comment:*

*'Linguistics (type-one intelligence language) is sufficiently concise for defining exact sciences (mathematics).'*

A premise discovery under the title,

'Majestic Service in a Solar System'

Nuclear Emergency Management