Математическая логика и теория алгоритмов В настоящее время