2 research outputs found
Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically
There exists a huge number of numerical methods that iteratively construct
approximations to the solution of an ordinary differential equation
(ODE) starting from an initial value and using a
finite approximation step that influences the accuracy of the obtained
approximation. In this paper, a new framework for solving ODEs is presented for
a new kind of a computer -- the Infinity Computer (it has been patented and its
working prototype exists). The new computer is able to work numerically with
finite, infinite, and infinitesimal numbers giving so the possibility to use
different infinitesimals numerically and, in particular, to take advantage of
infinitesimal values of . To show the potential of the new framework a
number of results is established. It is proved that the Infinity Computer is
able to calculate derivatives of the solution and to reconstruct its
Taylor expansion of a desired order numerically without finding the respective
derivatives analytically (or symbolically) by the successive derivation of the
ODE as it is usually done when the Taylor method is applied. Methods using
approximations of derivatives obtained thanks to infinitesimals are discussed
and a technique for an automatic control of rounding errors is introduced.
Numerical examples are given.Comment: 25 pages, 1 figure, 3 table
The Mathematical Intelligencer flunks the Olympics
The Mathematical Intelligencer recently published a note by Y. Sergeyev that
challenges both mathematics and intelligence. We examine Sergeyev's claims
concerning his purported Infinity computer. We compare his grossone system with
the classical Levi-Civita fields and with the hyperreal framework of A.
Robinson, and analyze the related algorithmic issues inevitably arising in any
genuine computer implementation. We show that Sergeyev's grossone system is
unnecessary and vague, and that whatever consistent subsystem could be salvaged
is subsumed entirely within a stronger and clearer system (IST). Lou Kauffman,
who published an article on a grossone, places it squarely outside the
historical panorama of ideas dealing with infinity and infinitesimals.Comment: 25 pages, published in Foundations of Science (online first