of Ershov's talk "On the subject of informatics and its connection to mathematics" at the SMS session