Constructive analysis and thermodynamics formulations

DOI10.1007/BF02007138zbMath0548.03035MaRDI QIDQ3340855

Antonino Drago

Publication date: 1984

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/138020

zbMATH Keywords

thermodynamicsconstructive mathematicscomputable analysistheoretical physicsphilosophical implications

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Philosophical and critical aspects of logic and foundations (03A05) Foundations of thermodynamics and heat transfer (80A05) Decidability of theories and sets of sentences (03B25) Other constructive mathematics (03F65)

Cites Work

• The unreasonable effectiveness of mathematics in the natural sciences. Richard courant lecture in mathematical sciences delivered at New York University, May 11, 1959
• Analysis in the Computable Number Field
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Constructive analysis and thermodynamics formulations