References
Burton, W.K.: Constructive thermodynamics. In: Schmidt, H.A., Schütte, K., Thiele, H.J. (eds.): Contributions to mathematical logics. Amsterdam: North-Holland 1968.
Giles, R.: Mathematical foundations of thermodynamics. Oxford: Pergamon Press 1964.
Carathéodory, C.: Math. Ann.67, 355–386 (1909) [English transl. in Kestin, J. (ed.): The second law of thermodynamics. London: Dowden 1976].
Sneddon, I.N.: Elements of partial differential equations. New York: McGraw-Hill 1957.
Aberth, O.: Analysis in the computable number field. J. Ass. Comp. Mach.15, 275–299 (1968).
Aberth, O.: Computable analysis and differential equations. In: Kino, A., Myhill, J., Vesley, R.E. (eds.): Constructivity in mathematics. Amsterdam: North-Holland 1970.
See [5, Theorem 14].
Cartan, E.: Calcul differential. Paris: Herman 1967.
See, for example, Phys. Teacher, p. 290, May 1975.
Truesdell, C.: Rational thermodynamics. New York: McGraw-Hill 1968.
Truesdell, C., Baratha, S.: The concepts and logic of classical thermodynamics. Berlin, Heidelberg, New York: Springer 1977.
Buchdahl, H.A.: The concepts of classical thermodynamics. Cambridge: Cambridge University Press 1962.
Buchdahl, H.A.: Twenty lectures on thermodynamics. Oxford: Pergamon Press 1975.
Cällen, H.: Thermodynamics. New York: Wiley 1960.
Strangely enough, all the above formulations exhaust the undecidable problems of constructive analysis: equality between differentials, ordering, extrema, equality between numbers (being any thermodynamical magnitude a function of two others, all said for numbers holds as well as for functions).
Brønsted, N.J.: Principles and problems in energetics. New York: Interscience 1955.
A very good example is: Truesdell, C.: The tragicomedy of classical thermodynamics. Berlin, Heidelberg, New York: Springer 1971.
An historical enquiry reveals that in the XIXth century all students following a “thermodynamical” point of view used a very simple mathematics, and all those following a “mechanical” point of view used intensively analysis and differential equation (the only exceptions where P. Duhem and M. Planck). An essentially “mechanical” point of view was followed by Boltzmann for formulating statistical mechanics; for this reason we don't examine it in this first paper about thermodynamics and mathematics.
Mach, E.: Knowledge and error, p. 349. Dordrecht: Reidel 1976.
Einstein, A.: The meaning of relativity. Princeton: Princeton University Press 1945.
Born, M.: Continuity, determinism, and reality. Konigl. Danske Vid. Selsk. Math. Fys. Medd.30, 1–25 (1955).
Wigner, P.: The unreasonable effectiveness of mathematics in the natural sciences. Commun. Pure Appl. Math.13, 1–14 (1960).
Einstein, A.: Op. cited.
Bridgman, P.W.: A physicist's second reaction to Mengelhere. Scripta Mathematica2, 101–117, 224–234 (1934).
Destouches-Février, J.L.: Sur la mécanique classique et l'intuitionnisme. Proc. Kon. Nederl. Akad. v. Wetens54, 1–22 (1951).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Drago, A. Constructive analysis and thermodynamics formulations. Arch math Logik 24, 17–21 (1984). https://doi.org/10.1007/BF02007138
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02007138