Some of the central problems in computer science and, in particular, in programming are the
correctness and the similarity problems, which contain:
• the question of whether a program computes a given function;
• the problem to decide whether an element of the space is equal to a xed element;
• whether two elements of a given space are equal and whether one approximates the other in
the specialized order;
• geometric inequalities in information spaces with special distances;
• variational problems in information spaces with special distances;
• geometric control theory in information spaces with special distances;
• the calculation of the weighted means of two strings;
• describe the proper similarity of two strings;
• the problem to calculate the distance between strings;
• the problem to solve the problem of text editing and correction;
• the problem to appreciate changeability of information over time.