Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.programming > #16757

Re: Infinitesimals

Show all headers | View raw

On 02/19/2024 05:51 AM, Paul N wrote:
> Hi all
>
> Recently there was a discussion in comp.theory about infinitesimals. It seems I can't post to that group but can post to this one, so hopefully people will not mind too much and some kind person might even post a link there to my post here?
>
> I wanted to point out that Ian Stewart had written an article called "Beyond the vanishing point" in which he discusses the strange situation in which doing calculus by using very small numbers and then treating these numbers as zero after you've divided through by them is not valid but nevertheless seems to work. Here is some of the article as a taster:
>
>
> As far as we know, the first people to ask questions about the proper use of logic
> were the ancient Greeks, although their work is flawed by modern standards. And
> in about 500BC the philosopher Zeno of Elea invented four famous paradoxes to show
> that infinity was a dangerous weapon, liable to blow up in its user’s hands. Even so,
> the use of "infinitesimal" arguments was widespread in the sixteenth and seventeenth
> centuries, and formed the basis of many presentations of (for example) the calculus.
> Indeed it was often called "Infinitesimal Calculus". The logical inconsistencies involved
> were pointed out forcibly by Bishop Berkeley in a 104-page pamphlet of 1734 called
> The Analyst: A Discourse Addressed to an Infidel Mathematician. The trouble was,
> calculus was so useful that nobody took much notice. But, as the eighteenth century
> wore on, it became increasingly difficult to paper over the logical cracks. By the middle
> of the century, a number of mathematicians including Augustin-Louis Cauchy, Bernard
> Bolzano and Karl Weierstra8, had found ways to eliminate the use of infinities and
> infinitesimals from the calculus.
>
> The use of infinitesimals by mathematicians rapidly became "bad form", and
> university students were taught rigourous analysis, involving virtuoso manipulations
> of complicated expressions in the Greek letters epsilon and delta imposed by
> the traditional definitions. There is even a colloquial term for the process: epsilontics.
> Despite this, generations of students in Engineering departments cheerfully used the
> outdated infinitesimals; and while the occasional bridge has been known to fall down,
> nobody to my knowledge has ever traced such a disaster to illogical use of infinitesimals.
>
> In other words, infinitesimals may be wrong - but they work. Indeed, in the
> hands of an experienced practitioner, who can skate carefully round the thin ice, they
> work very well indeed. Although the lessons of this circumstance have been learned
> repeatedly in the history of science, it took mathematicians a remarkably long time to
> see the obvious: that there must be a reason why they work; and if that reason can
> be found, and formulated in impeccable logic, then the mathematicians could use the
> "easy" infinitesimal arguments too!
>
> It took them a long time becauseit’s very hard to get right. It relies on some deep
> ideas from mathematical logic that derive from work in the 1930s. The resulting theory
> is called Nonstandard Analysis, and is the creation of Abraham Robinson.It allows the
> user to throw real infinities and infinitesimals around with gay abandon. Despite these
> advantages, it has yet to displace orthodox epsilontics, for two main reasons:
>
> * The necessary background in mathematical logic is difficult and, except for this
> one application, relatively remote from the mathematical mainstream.
> * By its very nature, any result that can be proved by nonstandard analysis can also
> be proved by epsilontics: it’s just that the nonstandard proof is usually simpler.
>
> You can get the article (published in "Eureka") by going to https://www.archim.org.uk/eureka/archive/index.html and downloading Issue 50	- April 1990. Enjoy!
>
> Paul.
>


Hello, epsilontics is a new phrase here, or "delta-epsilonics", of
course are the very correct way to show the implementation of the
vanishing of the difference of an infinite limit and a sum, using the
properties of the laws of arithmetic, inequalities, and the
infinite-divisibility of standard real numbers.

Infinitesimals are notions since atomism at least, and the ancient
Greeks, and make more sense to people than infinities, which grow
beyond all bounds and domains, while infinitesimals at least usually
start with a finite magnitude, and infinitely-divide them.

Peano's famous for theories of integers, also he has theories of
infinitesimals. Conway has his "sur-real numbers", Robinson these
"hyper-real numbers", while Dodgson, Veronese and Stolz, and lots
of other thinkers, reflect on Newton's "fluxions" and Leibniz'
"differential".

Mostly these "don't say much" while reflecting recursion, i.e.
the "conservative" extensions of the Archimedean, while of course
something like Conway's sur-reals are non-Archimedean.

The "Smooth Infinitesimal Analysis" of Bell, or something like
Nelson's "Internal Set Theory", really are about geometry and
also especially "the nature of the continuous and discrete".

That "one can't make a line of points" and "one can't make
points of a line", has that basically modern mathematics
today makes a line of points, but either way has the same
sort of regress.


Of course the name of "real analysis" or "integral calculus",
for several hundred years was "infinitesimal analysis".

These days the "infinite series" have a lot of similar
vagaries in their rules, the rulial, and most sorts usual
results in them have usual "Zeno's arguments" confounding them.
Yet, when "analyticity" carefully results, then often the
foundational questions get ellided.


So, most people's notions of what are "infinitesimal
analysis" are the results of the integral calculus,
real analysis. Then, the "non-standard", and "extra",
"extra the standard", "super-standard", get into
the real analytical character of the acts of line-drawing,
and about Vitali and measure theory, and Jordan and Lebesgue
and measure theory.


Then, in comp.programming, of course the usual context of
"infinitesimal analysis" would be real analysis, as according
to usually symbolic representations of the founding and
confounding notions, mechanically in the bounded, numerically.



A most usual sort of notion is that, for natural numbers,
the continuum limit of a function, f(n) = n/d, in the
continuum limit as d -> infinity, looks like [0,1]. Then
all axiomatic set theory and descriptive set theory gets involved.

Back to comp.programming | Previous | Next — Previous in thread | Find similar

Thread

Infinitesimals Paul N <gw7rib@aol.com> - 2024-02-19 05:51 -0800
  Re: Infinitesimals root <NoEMail@home.org> - 2024-02-19 16:41 +0000
    Re: Infinitesimals Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-03-07 10:12 -0800
  Re: Infinitesimals Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-03-07 10:04 -0800

csiph-web