{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T09:56:27Z","timestamp":1649066187893},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1984,12,1]],"date-time":"1984-12-01T00:00:00Z","timestamp":470707200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1984,12]]},"DOI":"10.1007\/bf02007138","type":"journal-article","created":{"date-parts":[[2005,8,4]],"date-time":"2005-08-04T18:26:22Z","timestamp":1123179982000},"page":"17-21","source":"Crossref","is-referenced-by-count":0,"title":["Constructive analysis and thermodynamics formulations"],"prefix":"10.1007","volume":"24","author":[{"given":"Antonino","family":"Drago","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02007138_CR1","volume-title":"Contributions to mathematical logics","author":"W.K. Burton","year":"1968","unstructured":"Burton, W.K.: Constructive thermodynamics. In: Schmidt, H.A., Sch\u00fctte, K., Thiele, H.J. (eds.): Contributions to mathematical logics. Amsterdam: North-Holland 1968."},{"key":"BF02007138_CR2","volume-title":"Mathematical foundations of thermodynamics","author":"R. Giles","year":"1964","unstructured":"Giles, R.: Mathematical foundations of thermodynamics. Oxford: Pergamon Press 1964."},{"key":"BF02007138_CR3","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/BF01450409","volume":"67","author":"C. Carath\u00e9odory","year":"1909","unstructured":"Carath\u00e9odory, C.: Math. Ann.67, 355\u2013386 (1909) [English transl. in Kestin, J. (ed.): The second law of thermodynamics. London: Dowden 1976].","journal-title":"Math. Ann."},{"key":"BF02007138_CR4","volume-title":"Elements of partial differential equations","author":"I.N. Sneddon","year":"1957","unstructured":"Sneddon, I.N.: Elements of partial differential equations. New York: McGraw-Hill 1957."},{"key":"BF02007138_CR5","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1145\/321450.321460","volume":"15","author":"O. Aberth","year":"1968","unstructured":"Aberth, O.: Analysis in the computable number field. J. Ass. Comp. Mach.15, 275\u2013299 (1968).","journal-title":"J. Ass. Comp. Mach."},{"key":"BF02007138_CR6","volume-title":"Constructivity in mathematics","author":"O. Aberth","year":"1970","unstructured":"Aberth, O.: Computable analysis and differential equations. In: Kino, A., Myhill, J., Vesley, R.E. (eds.): Constructivity in mathematics. Amsterdam: North-Holland 1970."},{"key":"BF02007138_CR7","unstructured":"See [5, Theorem 14]."},{"key":"BF02007138_CR8","volume-title":"Calcul differential","author":"E. Cartan","year":"1967","unstructured":"Cartan, E.: Calcul differential. Paris: Herman 1967."},{"key":"BF02007138_CR9","unstructured":"See, for example, Phys. Teacher, p. 290, May 1975."},{"key":"BF02007138_CR10","volume-title":"Rational thermodynamics","author":"C. Truesdell","year":"1968","unstructured":"Truesdell, C.: Rational thermodynamics. New York: McGraw-Hill 1968."},{"key":"BF02007138_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-81077-0","volume-title":"The concepts and logic of classical thermodynamics","author":"C. Truesdell","year":"1977","unstructured":"Truesdell, C., Baratha, S.: The concepts and logic of classical thermodynamics. Berlin, Heidelberg, New York: Springer 1977."},{"key":"BF02007138_CR12","volume-title":"The concepts of classical thermodynamics","author":"H.A. Buchdahl","year":"1962","unstructured":"Buchdahl, H.A.: The concepts of classical thermodynamics. Cambridge: Cambridge University Press 1962."},{"key":"BF02007138_CR13","volume-title":"Twenty lectures on thermodynamics","author":"H.A. Buchdahl","year":"1975","unstructured":"Buchdahl, H.A.: Twenty lectures on thermodynamics. Oxford: Pergamon Press 1975."},{"key":"BF02007138_CR14","volume-title":"Thermodynamics","author":"H. C\u00e4llen","year":"1960","unstructured":"C\u00e4llen, H.: Thermodynamics. New York: Wiley 1960."},{"key":"BF02007138_CR15","unstructured":"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)."},{"key":"BF02007138_CR16","volume-title":"Principles and problems in energetics","author":"N.J. Br\u00f8nsted","year":"1955","unstructured":"Br\u00f8nsted, N.J.: Principles and problems in energetics. New York: Interscience 1955."},{"key":"BF02007138_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-2393-5","volume-title":"The tragicomedy of classical thermodynamics","author":"C. Truesdell","year":"1971","unstructured":"A very good example is: Truesdell, C.: The tragicomedy of classical thermodynamics. Berlin, Heidelberg, New York: Springer 1971."},{"key":"BF02007138_CR18","unstructured":"An historical enquiry reveals that in the XIXth century all students following a \u201cthermodynamical\u201d point of view used a very simple mathematics, and all those following a \u201cmechanical\u201d point of view used intensively analysis and differential equation (the only exceptions where P. Duhem and M. Planck). An essentially \u201cmechanical\u201d 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."},{"key":"BF02007138_CR19","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/978-94-010-1428-1","volume-title":"Knowledge and error","author":"E. Mach","year":"1976","unstructured":"Mach, E.: Knowledge and error, p. 349. Dordrecht: Reidel 1976."},{"key":"BF02007138_CR20","doi-asserted-by":"crossref","DOI":"10.1515\/9781400851874","volume-title":"The meaning of relativity","author":"A. Einstein","year":"1945","unstructured":"Einstein, A.: The meaning of relativity. Princeton: Princeton University Press 1945."},{"key":"BF02007138_CR21","first-page":"1","volume":"30","author":"M. Born","year":"1955","unstructured":"Born, M.: Continuity, determinism, and reality. Konigl. Danske Vid. Selsk. Math. Fys. Medd.30, 1\u201325 (1955).","journal-title":"Konigl. Danske Vid. Selsk. Math. Fys. Medd."},{"key":"BF02007138_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/cpa.3160130102","volume":"13","author":"P. Wigner","year":"1960","unstructured":"Wigner, P.: The unreasonable effectiveness of mathematics in the natural sciences. Commun. Pure Appl. Math.13, 1\u201314 (1960).","journal-title":"Commun. Pure Appl. Math."},{"key":"BF02007138_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/cpa.3160130102","volume":"13","author":"A. Einstein","year":"1960","unstructured":"Einstein, A.: Op. cited.","journal-title":"Commun. Pure Appl. Math."},{"key":"BF02007138_CR24","first-page":"101","volume":"2","author":"P.W. Bridgman","year":"1934","unstructured":"Bridgman, P.W.: A physicist's second reaction to Mengelhere. Scripta Mathematica2, 101\u2013117, 224\u2013234 (1934).","journal-title":"Scripta Mathematica"},{"key":"BF02007138_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1385-7258(51)50001-X","volume":"54","author":"J.L. Destouches-F\u00e9vrier","year":"1951","unstructured":"Destouches-F\u00e9vrier, J.L.: Sur la m\u00e9canique classique et l'intuitionnisme. Proc. Kon. Nederl. Akad. v. Wetens54, 1\u201322 (1951).","journal-title":"Proc. Kon. Nederl. Akad. v. Wetens"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007138.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02007138\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007138","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T07:26:49Z","timestamp":1557818809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02007138"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,12]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1984,12]]}},"alternative-id":["BF02007138"],"URL":"https:\/\/doi.org\/10.1007\/bf02007138","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,12]]}}}