Speciality:
05.13.17 (Theoretical foundation for informatics)
Birth date:
04.12.1952
E-mail: Website: https://ulm.uni.udm.ru/~belt Keywords: complexity of computation; complexity classes; subrecursive classes; subrecursive hierarchies; intuitionistic mathematics; mathematics of constructive systems; mechanization of proofs; complexity of proofs; models of computation; substructural logics; weak arithmetics; logic in computer science.
Subject:
Decidability of universal theory of addition and divisibility of natural numbers is proved (1976). Machine (iterative) descriptions of the initial Grzegorczyk classes are obtained (1976–1979). Absence of a finite basis of one-argument funcions of the Grzegorczyk class $\cal E^0$ with respect to superposition is proved (1979). Formal theories for generating akgorithms to solve given tasks with given computational complexity are constructed. An effective method of deductive synthesis of algorithms containing recursions is created.
Main publications:
Beltiukov A. P. Intuitionistic formal theories with realizability in subrecursive classes // Annals of Pure and Applied Logic, 89, 1997, p. 3–15.
Beltiukov A. P. Automatical deductive synthesis of programs with recursions // Lecture Notes in Computer Science, v. 735, 1993, p. 414–422.