Валентин Иванов считал, что чистая математика, будучи изолированной от реальных прикладных задач, сильно теряет. Какое имя собственное в связи с этим упоминал Иванов?