Abstract:
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 fixed 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.