Molecules and Models
Most of the studies in axiomatization and formalization of theories from natural science are about theories of physics and biology. The theory that is discussed here is from the field of chemistry. It is a rather typical theory of the old stamp, that is to say, developed in a time before the merging of physics and chemistry: the structure theory of Couper, Kekulé, van’t Hoff and Le Bel.
KeywordsLine Segment Structure Theory Axiom System Abstract Structure Elementary Logic
Unable to display preview. Download preview PDF.
- Beth E. W., The foundations of mathematics. Amsterdam, 1959.Google Scholar
- Fieser L. F. and Fieser M., Organic chemistry. New York, 1956.Google Scholar
- Hoff J. H. van’t, Die Lagerung der Atome im Raume. Braunschweig, 1894.Google Scholar
- Hückel W. and Rathmann F. H., Theoretical principles of organic chemistry. Vol. I. Amsterdam, 1955.Google Scholar
- Ketelaar J. A. A., Chemical constitution. Amsterdam, 1958.Google Scholar
- Lewis G. N., Valence and the structure of atoms and molecules. New York, 1923.Google Scholar
- Mulckhuyse J. J., Molecules and models, investigations on the axiomatization of structure theory in chemistry. Amsterdam, Thesis, 1960.Google Scholar
- Pauling L., The nature of the chemical bond. New York, 1945.Google Scholar
- Suppes P., Personal communication.Google Scholar
- Tarski A., What is elementary geometry. In Henkin L., Suppes P. and Tarski A., The axiomatic method. Amsterdam, 1959.Google Scholar