Проект «Люди как книги». Юрий Ершов, академик РАН, лидер сибирской школы алгебры и логики