Илза

        По своему опыту знаю, что математика порой как-то высушивает людей. Особенно это заметно почему-то на женщинах. За свой век, а точнее,более чем за три четверти века педагогической практики, я только два раза видел симпатичных (это вовсе не значит «красивых») женщин-математичек. И потому всем молодым девушкам не советую выбирать профессию математика.
        В 1978 году  я оказался в рижском НИИ кибернетики Латвийской Академии наук в роли второго оппонента на защите кандидатской диссертации учёным секретарём института Валерием Григорьевичем Горобцом. Защита прошла успешно, и после неё был организован шикарный банкет. В Ленинграде организация банкетов после защиты диссертации в ту пору осуждалась, а в Латвии к этому относились спокойно, как к должному.
        На этом банкете мне показали странную молчаливую женщину... Это была латышская математичка Илза Илзеня. Белобрысая, с голубыми потухшими глазами, она явно была когда-то привлекательной. Но теперь… Я думал, что ей давно за пятьдесят, а ей было всего лишь тридцать с небольшим.  Что же с ней стало?
        В 1852 году на заседании Лондонского математического общества математиком Фрэнсисом Гатри (англ. - Frances Guthrie) было сделано сообщение о том, что, по его мнению, достаточно всего лишь четырёх различных красок, чтобы раскрасить любую географическую (или политическую) карту так, чтобы никакие соседствующие страны не были окрашены одинаковым цветом. При этом карта может быть сколь угодно сложной, лишь бы ни одна из границ не была бы протяжённостью всего лишь в одну точку. В течение длительного времени математиками всего мира было предпринято множество попыток доказательства или опровержения этого предположения. Эта задача стала называться проблемой четырёх красок. Со временем эту задачу удалось решить для таких поверхностей, как сфера и тор (“бублик”), но её решение для плоскости найти не удавалось. За решение проблемы четырёх красок на плоскости предлагались солидные премии, но упрямая задача не поддавалась.
        Я сам в 1959 году, ещё будучи студентом, начал было интересоваться решением этой простенькой на вид задачи, но довольно быстро понял, что её решение мне «не по зубам». А вот Илза Илзеня оказалась математичкой с твёрдым характером и, как говорится, посвятила себя всю решению этой задачи. В течение многих лет упорного труда ей много раз казалось, что она близка к решению, что ещё немного и …
        Теорему о четырёх красках доказали в 1976 году в Иллинойском университете англичане Кеннет Ира Аппель (Kenneth Ira Appel) и Вольфганг Хакен (Wolfgang Haken). Им удалось, затратив 1200 часов машинного времени, свести решение задачи о четырёх красках к конечному перебору 1482 возможных вариантов. И далее уже предполагалось использование только ЭВМ (электронной вычислительной машины). Это был первый случай в истории математики, когда математическая теорема была доказана с помощью компьютера.
        Для Илзы это был страшный удар, она бросила всякую продуктивную работу, продолжала приходить в институт, но ничего толком не делала. Надо отдать должное директору НИИ академику Латвийской Академии Наук профессору Эдуарду  Александровичу Якубайтису, который не выгонял Илзу с работы, почитая её как живой памятник солдату, сражённому в борьбе с очередной математической проблемой.