Dyadic Mathematics
by
Rudolf Wille
TU Darmstadt, Germany

An important question is how mathematics may support human thinking about the real world. Since human thinking is based on concepts grasping realities, an appropriate mathematization of concepts and conceptual relationships may give a useful foundation for connecting mathematical thoughts with the reality-oriented thinking of human beings. The mathematization of concepts based on formal contexts has been matured over twenty years and proven to be useful in many aspects; in particular, the Galois connection between the extensional and the intensional view gave a strong backbone for connecting mathematics with real world issues. This even suggested to unify the two views in mathematical theory building to obtain what might be called "Dyadic Mathematics". This idea shall be illustrated by some examples of using Galois connections.

Date received: March 9, 2001

Copyright © 2001 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cagi-27.