Hostname: page-component-cd9895bd7-jn8rn Total loading time: 0 Render date: 2024-12-25T18:37:34.652Z Has data issue: false hasContentIssue false

Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof

Published online by Cambridge University Press:  12 March 2014

Rolando Chuaqui
Affiliation:
Facultad de Matemáticas, Pontificia Universidad Católica de Chile, Casilla 306, Santiago 22, Chile
Patrick Suppes
Affiliation:
Department of Philosophy, Ventura Hall, Stanford University, Stanford, California 94305-4115, E-mail: suppes@csli.stanford.edu

Extract

In treatises or advanced textbooks on theoretical physics, it is apparent that the way mathematics is used is very different from what is to be found in books of mathematics. There is, for example, no close connection between books on analysis, on the one hand, and any classical textbook in quantum mechanics, for example, Schiff, [11], or quite recent books, for example Ryder, [10], on quantum field theory. The differences run a good deal deeper than the fact that the books on theoretical physics are not written in the definition-theorem-proof style characteristic of pure mathematics. Although a good many propositions are proved in the books on physics, there are almost with exception no existential proofs, and consequently there is no really serious systematic use of quantifiers. Another important characteristic is the free use of infinitesimals. In fact, most results would not lose anything, from a physicist's point of view, by leaving them in approximate form, i.e., instead of strict equalities or inequalities, using equalities or inequalities only up to an infinitesimal.

The discrepancy between the way mathematics is ordinarily done in theoretical physics and the way it is built up from a foundational standpoint in any of the standard modern views raises the question of whether it might be possible to construct quite directly a rigorous foundation that reflects a significant part of this standard practice in theoretical physics. Other parts of standard practice in physics, for example, the use of physically intuitive but nonrigorous arguments, are not present in our system.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1995

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Albeverio, S.et al., Nonstandard methods in stochastic analysis and mathematical physics, Academic Press, New York, 1986.Google Scholar
[2]Chuaqui, R., Truth, possibility and probability. New logical foundations of probability and statistical inference, North-Holland, Amsterdam, 1991.Google Scholar
[3]Herbrand, J., Sur la non-contradiction de l'arithmétique, Journal für die Reine und Angewandte Mathematik, vol. 166 (1931), pp. 18; English translation, From Frege to Gödel: a source-book in mathematical logic, 1879-1931, (J. van Heijenoort, editor), Harvard University Press, Cambridge, Massachusetts, 1967.Google Scholar
[4]Hilbert, D., Die Grundlagen der Mathematik, Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität, vol. 6 (1928), pp. 6585; English translation, From Frege to Gödel; a source-book in mathematical logic, 1879-1931 (J. Van Heijenoort, editor), Harvard University Press, Cambridge, Massachusetts, 1967, pp. 464–479.CrossRefGoogle Scholar
[5]Keisler, H. J., Foundations of infinitesimal analysis, Prindle, Weber, and Schmidt, Boston, Massachusetts, 1976.Google Scholar
[6]Mycielski, J., Analysis without actual infinity, this Journal, vol. 46 (1981), pp. 625633.Google Scholar
[7]Nelson, E., Internal set theory: A new approach to nonstandard analysis, Bulletin of the American Mathematical Society, vol. 83 (1977), pp. 11651198.CrossRefGoogle Scholar
[8]Nelson, E., Radically elementary probability theory, Princeton University Press, Princeton, New Jersey, 1987.CrossRefGoogle Scholar
[9]Robinson, A., Function theory on some nonarchimedean fields, American Mathematical Monthly, Supplement. Part II: Papers in the Foundations of Mathematics, vol. 80 (1973), pp. 87109.CrossRefGoogle Scholar
[10]Ryder, L. H., Quantum field theory, Cambridge University Press, Cambridge, 1986.Google Scholar
[11]Schiff, L. I., Quantum mechanics, McGraw-Hill, New York, 1949.Google Scholar
[12]Suppes, P. and Chuaqui, R., A finitarily consistent free-variable positive fragment of infinitesimal analysis, Proceedings of the IX Latin American Symposium on Mathematical Logic, Notas de Matemática, Universidad Nacional del Sur, Bahia Blanca, Argentina (to appear).Google Scholar