Студентський математичний семінар радо вітає свого керівника Козеренка Сергія Олександровича (@sergio_kozerenko) та одного з найперших учасників СМС, Гапоненка Владислава (@Whatislove_Haponenko) з прийняттям до друку їхньої спільної статті під назвою "All-path convexity: two characterizations, general position number, and one algorithm", журнал Discrete Mathematics Letters (Scopus, Q2-Q3). 💪🏻

Із поточним 13-им випуском журналу DML (у який ще набираються статті на 2024 рік) можна ознайомитися за посиланням: https://www.dmlett.com/journal-archive/v13/

Зичимо творчого натхнення та подальших успіхів у науковій роботі обом співавторам! ❤️

Львівська математична школа та Мангеттенський проект - що їх об'єднує? 🧐 Правильно: Станіслав Улям!

Сьогодні виповнюється рівно 115 років із дня народження цього чудового польсько-українсько-американського математика єврейського походження. 😁 І ми присвячуємо цей пост його біографії.

Уже змалечку Улям полюбляв читати математичні книги, які й визначили подальший вектор його освітнього розвитку. Із 1927 року молодий Станіслав зайнявся теорією множин і привернув увагу старших колег із Львівської матшколи. Він швидко затоваришував із такими відомими математиками як Куратовський, Штейнгауз, Мазур, Банах і почав брати участь у легендарних матзустрічах у Шотландській кав'ярні. 🤓

Захистивши дисертацію в 1933 році, Улям отримав запрошення від Джона фон Ноймана відвідати Принстонський університет у 1935 році. Там він познайомився з Біркгофом, який потім запросив Уляма викладати в Гарварді. Улям отримав позицію лектора там у 1940 році. До 1939 року він активно жив між США та Польщею, залишивши останню за місяць до початку Другої світової війни.

У 1943 році Улям отримав громадянство США і в тому ж році фон Нойман запросив свого друга на "важливу зустріч"... Мова, звичайно, зайшла за Лос Аламос і старт секретного проекту з розробки нової надпотужної бомби. 😱 Учасниками Мангеттенського проекту були найгучніші імена в фізиці: Теллер, Фермі, Нойман, Фейнман, Вігнер й інші. Завершилось усе успішною розробкою атомної бомби, про що нам нагадує нещодавнє кіно "Оппенгеймер".

Цікаво, що саме під час роботи в Лос Аламосі, Улям розробив дуже відомий "метод Монте-Карло". А після війни пристав на пропозицію посісти посаду професора в Університеті Каліфорнії. В 1965 році він перейшов до Університету Колорадо, де був професором біоматематики аж до своєї смерті в 1984 році.

За словами Джан-Карло Роти: "Розум Уляма - це сховище тисяч історій, казок, жартів, епіграм, зауважень, головоломок, формул, діаграм, цитат, лімериків і насмішок. У розмові він просто витягує зі свого розуму близько 50 відповідних елементів та представляє їх послідовно. Його пам'ять не дозволяє йому занадто часто повторюватись перед аудиторією." 😄👍

Ми ж можемо лише підтвердити слова Роти про Уляма і згадати його відому цитату про лаконічність: "Whatever is worth saying, can be stated in fifty words or less". А також його 'вердикт' усім математикам 😀:

"In many cases, mathematics is an escape from reality. The mathematician finds his own monastic niche and happiness in pursuits that are disconnected from external affairs. Some practice it as if using a drug. Chess sometimes plays a similar role. In their unhappiness over the events of this world, some immerse themselves in a kind of self-sufficiency in mathematics. "

Шановне товариство, в 2024 році СМС проходить надзвичайно потужно, чому є свідченням такий факт: ми запрошуємо вас уже на 15-те засідання сезону!

Тема: "Складність Колмогорова та неповнота Геделя"
Доповідач: Артем Гак (@ArtemGak), МП КН-2 у КМА

Час: Вт, 16.04 о 17:30.
Місце: ауд 219 Інституту математики.
Зум: https://zoom.us/j/5197673308?pwd=eGRtaVIzbHlNT3RoRjc5U2FsVENGUT09
519 767 3308
213122

Коли ми говоримо про складність задачі, то зазвичай запитуємо, скільки ресурсів потрібно, щоб її вирішити. Наприклад, скільки кроків алгоритму потрібно, аби знайти шлях між парою вершин у графі.

Якщо у нас є два рядки символів "0101010101" та "0111010011", то інтуїтивно зрозуміло, що перший рядок "простіший": він періодичний і його можна стиснути. Чисельно можна визначити так: K(x) = довжина найменшої програми, що виводить рядок x.

У доповіді ми розглянемо поняття складності Колмогорова та скористаємось ним, щоб довести два важливі результати математики 20 ст.: проблему зупинки Черча-Тьюрінга та неповноту Геделя.

Запрошуємо на новий курс "Supervised Machine Learning", який розширить знання основних методів машинного навчання з ручним конструюванням ознак, а саме таких методів, як: наївний байєсів класифікатор, машини опорних векторів, випадковий ліс та ін.

Рівень: середній
Мова: англійська
Формат: онлайн
Тривалість курсу: 30 годин (1 ECTS)
Старт: з 19.04.2024 (самостійне проходження)
Цільова аудиторія: студенти та аспіранти спеціальностей комп’ютерні науки, прикладна фізика, матеріалознавство.
Викладачі:
к.ф.-м.н., Віталій Тимчишин, молодший науковий співробітник Київського академічного університету (КАУ), молодший науковий співробітник Інституту теоретичної фізики ім. М.М. Боголюбова;
к.ф.-м.н. Володимир Безгуба, старший науковий співробітник КАУ, завідуючий Лабораторії дослідження даних та машинного навчання КАУ.

Подробиці та реєстрація.

Відео скороченого (через тривогу 🙁) 15-ого засідання, 16.04.24.