The concept of active knowledge and the model of structural program synthesis are proposed for accumulation, keeping and processing of the active knowledge. On this basis the notion of literacy for the future, based on axiomatic theories, is defined.

Logic programming approach demonstrated technological not implementability of the program realization of an axiomatic theory. Here it is suggested to describe the axiomatic theory partially, in order to overcome the problem of the not implementability. Partially defined axiomatic theory should contain not all the possible decisions/theorems/, but those only, that were already well implemented once.

This paper considers and analysis the idea of magic wand as approach to representation new technologies, their implementability, application and use in different object domain. Magic wand approach in its currently implementable form is suggested to be the standard for any new technology representation. How to describe a new technology, how to accumulate and control the active knowledge base constitute the main subject of the paper.

In the paper the technology of fragmented programming supporting the development of parallel library numerical subroutines is consideration.

Processes flying is considered a key technological concept of computation organization, suitable also for the development of parallel programs of high dynamism, reliability and tunability to different internal and external factors (including unpredictable factors).