Студентський математичний семінар

Запрошуємо на ІІІ-ій студентський науковий пікнік - Academ Open Air 2024!

🗓 Дата: 31 травня 2024 р. (пт) о 13:00
📍Місце проведення: галявина Інституту металофізики ім. Г.В.Курдюмова НАН України, м.Київ.

Цей захід створений для об'єднання молоді різних природничих та математичних спеціальностей, ІТ, інженерії та міждисциплінарних галузей. На ньому представники європейських наукових інститутів та українські вчені розкажуть вам про:
🔸 те, де в Україні робиться "справжня наука";
🔸 стажування для студентів;
🔸 наукову співпрацю з інститутами в Україні та закордоном у прикладних галузях для нового покоління науковців.

Після завершення офіційної частини ви зможете вільно поспілкуватися із вченими, студентами та аспірантами, взяти участь у цікавих конкурсах, а також насолодитися фуршетом на свіжому повітрі.

Вхід вільний за попередньою реєстрацією. Очікуйте на детальну інформацію вже скоро! До зустрічі на Academ Open Air 2024!

Дізнатися більше у наших соцмережах: Telegram, Instagram, Facebook.

Шановна СМС-спільното!

Сьогодні свій День народження святкує один із найважливіших учасників нашого семінару - Артем Гак (@ArtemGak)! ❤️

Ми вдячні Артему за щиру відданість нашим активностям і всеосяжну підтримку Студматсемінару: офлайн і онлайн виступи, постійна технічна підтримка засідань СМС і фреш-гуртка, меценатство для СМС, численні живі активності нашого семінару й багато іншого. 🥰

Бажаємо Артему в цей день усього найкращого, а саме наукової творчості, нових знань і цікавих відкриттів, спілкування з однодумцями та міцної дружби! А також кохання та здоров'я аби все задумане втілити в життя. З Днем народження, Артеме! 🥳

Фотозвіт 17-ого засідання СМС, 30.04.24.

Відеозапис 17 засідання СМС.

Шановні друзі, сьогодні виповнюється рівно 170 років із дня народження видатного математика - Анрі Пуанкаре. 🥰 На честь цієї події рекомендуємо прочитати наш минулорічний постик-привітання. Зараз же додамо деякі цитати самого іменинника:

"Доведення, яке не є строгим, - це ніщо."

"Математика - це мистецтво давати однакову назву різним речам…"

"Математична робота не проста механічна праця, її не може виконати машина, хоч би й яка досконала."

"У математики потрійна мета. Вона повинна давати знаряддя для вивчення природи. Окрім того, вона має філософську спрямованість і, насмілюся сказати, - естетичну. Вона повинна заохочувати філософа до дослідження ідей числа, простору і часу; а до того ж, знавці знаходять у математиці насолоду, схожу на ту, яку дає живопис і музика. "

👆Після приєднання Австрії до Німеччини в 1938 році Гедель був вимушений переїхати до США. У 1940 році Гедель прибув до Сполучених Штатів, ставши громадянином США в 1948 році. Під час свібесіди на отримання громадянства він не стримався і згадав про знайдену "діру" в Конституції Сполучених Штатів, за допомогою якої в Америці можна законно встановити диктатуру, але екзаменатор поставився лояльно та перейшов до іншої теми співбесіди.

Оселившись у Сполучених Штатах, Гедель знову створив роботи найвищого ґатунку. Його шедевр "Узгодженість аксіоми вибору та узагальненої гіпотези континууму з аксіомами теорії множин" (1940) є класикою сучасної математики. У ній він довів, що якщо аксіоматична система теорії множин (типу, запропонованого Расселом і Вайтхедом у "Principia Mathematica") є несуперечливою, то вона залишиться такою, коли до неї додати аксіому вибору та узагальнену гіпотезу континууму. Звісно, це не доводило, що ці аксіоми не залежать від інших аксіом теорії множин, але коли Коен (1963) остаточно довів це, він спирався на ці ідеї Геделя.

Також Гедель працював із Альбертом Айнштайном. Більше того, вони були сусідами в Прінстоні і дружили майже все життя. 1949 Гедель знайшов точне рішення до Айнштайнових рівнянь поля, пізніше відоме як метрика Геделя. Також подейкують, що він презентував цей розв'язок Айнштайну, як подарунок на день народження.

Гедель зробив величезний вклад у фундаментальну математику. Разом із Фон-Нойманом та Бернайсом вони створили аксіоматику NBG - розширення ZFC, що дозволяє уникати логічних парадоксів.

У фільмі Крістофера Нолана "Оппенгеймер" (2023) Гедель з'являється в одній сцені, де прогулюється парком з Айнштайном, та каже єдину фразу: "Дерева - найдивовижніші структури."

Джон фон Нойман говорив так:
"Досягнення Курта Геделя в сучасній логіці унікальні й монументальні. Безумовно, це - щось більше, ніж пам'ятник вченому, це - дороговказна зірка, світло якої продовжить поширюватися в просторі та часі вічно".

Сьогодні 118 років із дня народження Курта Геделя - математика, що змінив уявлення про аксіоматику назавжди.
Восьмого Міжнародного конгресу математиків, що відбувся в Болоньї 1928 року, Геделю пощастило прослухати лекцію Давида Гільберта, присвячену повноті та несуперечливості аксіоматичних систем.

Дослідження цієї проблематики лягло в основу майбутньої наукової роботи Курта: 1930 року Гедель блискуче захистив дисертацію "Про повноту логічного числення". Гедель показав, що в будь-якій несуперечливій системі аксіом є істинні твердження, які не мають доведень.

Давид Гільберт першим визнав цінність наукових праць Геделя, погодившись із тим, що вся його програма з формалізації основ математики потребує кардинального перегляду.

Вітання всім любителям математики!

Поточний сезон Студматсемінару вже дійсно можна назвати легендарним, бо ми не зупиняємось, а продовжуємо радувати вас новими доповідями. 😁😇

І чергове, 17-те засідання СМС вже не за горами - воно відбудеться у Вт, 30.04 о 17:00 в нашій улюбленій ауд. 219 Інституту математики. ❤️

Тема: "Решітки: дистрибутивні, модулярні, повні. Теорема Кнастера-Тарського".

Доповідач: Козеренко С.О. (@sergio_kozerenko), старший викладач у КМА, викладач у КШЕ, науковий співробітник ІМ.

Зум: https://zoom.us/j/5197673308?pwd=eGRtaVIzbHlNT3RoRjc5U2FsVENGUT09
519 767 3308
213122

На доповіді поговоримо про решітки як особливі часткові порядки та цікаві алгебраїчні структури. Обговоримо їхні основні типи та доведемо важливу теорему Кнастера-Тарського про нерухому точку.