Systems of Computer-Aided Reasoning for Mathematics and Natural Language

Abstract

Every device created by humans is intended either for dealing with energy or for dealing with information. As for energy, some devices save it through facilitating the work of humans or animals, as do wheels, or through conserving it, as do clothes, while others produce new work due to their abilities of transforming energy (as do engines). As for information, it can be either recorded, or transformed, or else increased. One records a message, e.g. with pencil, one can transform it, e.g. with the help of calculating device, moreover one can increase a piece of knowledge, as when using a microscope, or measuring a quantity. Those devices which are to be more advanced, more sophisticated, need a theoretical science for their construction; physics when dealing with energy, and informatics when dealing with information (the latter is also dealt with by genetics, but this is another story). Thus physics and informatics, both rooted in mathematics, prove to be crucial for civilizational development.