#матлог #учёба #спецсеминар

В среду 18 марта заседания Рабочего семинара по математической логике (www.mathnet.ru/conf2533) не будет.
Следующее заседание — 25 марта.

18 марта в 15:00 в МИАН + онлайн будет Коллоквиум МИАН — ПОМИ с докладом Д.В. Карпова (ПОМИ, г. Санкт-Петербург) «Вокруг гипотезы о 4 красках». Подробнее см. https://www.mathnet.ru/php/seminars.phtml?presentid=49518

Аннотация: Будет рассказано об истории знаменитой гипотезы о 4 красках, попытках ее решения – удачных и неудачных, об эквивалентных переформулировках и задачах. Кроме того, будет рассказано о родственных 4СС задачах, имеющих решение без компьютерного перебора, в частности, о раскраске графов, которые могут быть изображены на плоскости так, что каждое ребро пересекает одно или два других.