Mathematical logic, theory of algorithms and theory of sets