L'utilisation des ordinateurs impose la création de "théories" dans les domaines les plus divers et à tous les niveaux. Les théories ont d'abord permis d'expliquer et de contrôler certains phénomènes physiques, en utilisant de plus en plus la théorie des ensembles. Elles sont désormais inévitables pour créer le "Software" d'un ordinateur et analyser les problèmes à automatiser (en particulier création et utilisation des langages de programmation). Signalons en outre les "gr