<abstract xmlns="http://www.w3.org/1999/xhtml">

<p>Alpha-Theory was introduced in 1995 to provide a simplified version of Robinson’s non-standard analysis which overcomes the technicalities of symbolic logic. The theory has been improved over the years, and recently it has been used also to solve practical problems in a pure numerical way, thanks to the introduction of algorithmic numbers. In this paper, we introduce Alpha-Theory using a novel axiomatic approach oriented towards real-world applications, to avoid the need to master mathematical logic and model theory. To corroborate the strong link of this Alpha-Theory axiomatization and scientific computations, we report numerical illustrative applications never carried out by means of non-standard numbers within a computer, i.e., the computation of the eigenvalues of a non-Archimedean matrix, some computations related to non-Archimedean Markov chains, and the Cholesky factorization of a non-Archimedean matrix. We also highlight the differences between our numerical routines and pure symbolic approaches: as expected, the former scales better when the dimension of the problem increases.</p>
</abstract>

Alpha-Theory was introduced in 1995 to provide a simplified version of Robinson’s non-standard analysis which overcomes the technicalities of symbolic logic. The theory has been improved over the years, and recently it has been used also to solve practical problems in a pure numerical way, thanks to the introduction of algorithmic numbers. In this paper, we introduce Alpha-Theory using a novel axiomatic approach oriented towards real-world applications, to avoid the need to master mathematical logic and model theory. To corroborate the strong link of this Alpha-Theory axiomatization and scientific computations, we report numerical illustrative applications never carried out by means of non-standard numbers within a computer, i.e., the computation of the eigenvalues of a non-Archimedean matrix, some computations related to non-Archimedean Markov chains, and the Cholesky factorization of a non-Archimedean matrix. We also highlight the differences between our numerical routines and pure symbolic approaches: as expected, the former scales better when the dimension of the problem increases.

Non–Standard Analysis Revisited: An Easy Axiomatic Presentation Oriented Towards Numerical Applications

International Journal of Applied Mathematics and Computer Science

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Alpha-Theory was introduced in 1995 to provide a simplified version of Robinson’s non-standard analysis which overcomes the technicalities of symbolic logic....

Non–Standard Analysis Revisited: An Easy Axiomatic Presentation Oriented Towards Numerical Applications

Data publikacji: 31 mar 2022

Zakres stron: 65 - 80

Otrzymano: 12 lut 2021

Przyjęty: 21 wrz 2021

DOI: https://doi.org/10.34768/amcs-2022-0006

Słowa kluczowe
Alpha-Theory, non-standard analysis, non-Archimedean analysis, algorithmic numbers, non-Archimedean scientific computing

© 2022 Vieri Benci et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Non–Standard Analysis Revisited: An Easy Axiomatic Presentation Oriented Towards Numerical Applications

Data publikacji: 31 mar 2022

Zakres stron: 65 - 80

Otrzymano: 12 lut 2021

Przyjęty: 21 wrz 2021

DOI: https://doi.org/10.34768/amcs-2022-0006

Słowa kluczoweAlpha-Theory, non-standard analysis, non-Archimedean analysis, algorithmic numbers, non-Archimedean scientific computing

© 2022 Vieri Benci et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Słowa kluczowe
Alpha-Theory, non-standard analysis, non-Archimedean analysis, algorithmic numbers, non-Archimedean scientific computing