In connection with the development of information technologies, algorithmic methods are becoming increasingly important in human activity. Realizing the leading role of logic in digital technologies, UNESCO declared World Logic Day. The celebration of this day aims not only to support scientific research, but also to expand public understanding of the role of logic in technology and innovation. In educational activities, the special importance of logic as the basis of scientific thinking should be emphasized.
The modern theory of models, which is the basis for the theory of ontologies in computer science, was created by Professor Alfred Tarski and the outstanding Soviet mathematician, academician Anatoly I. Maltsev. It should be noted that it was A. I. Maltsev who introduced the teaching of mathematical logic at 吃瓜官网. In the works of academician Yury L. Yershov and his students, a number of important areas at the intersection of mathematical logic and computer science have been developed: the theory of constructive models, the theory of numbering, semantic programming, and the theory of computable functionals.
Fundamental results obtained at the Siberian School of Algebra and Logic are recognized all over the world. Last year, the MCA held a dedicated to the World Logic Day. As part of the round table, our leading experts discussed the prospects for the development of logic and its applications. Note that, with the support of MCA, work in modern promising areas is underway: the connection of constructive models with online algorithms, polynomial computability in solutions of partial differential equations. This year, at the online workshop, the world's leading scientists made presentations on important new results in the field of mathematical logic and the theory of computability.
