Вітання всім любителям математики!
Поточний сезон Студматсемінару вже дійсно можна назвати легендарним, бо ми не зупиняємось, а продовжуємо радувати вас новими доповідями. 😁😇
І чергове, 17-те засідання СМС вже не за горами - воно відбудеться у Вт, 30.04 о 17:00 в нашій улюбленій ауд. 219 Інституту математики. ❤️
Тема: "Решітки: дистрибутивні, модулярні, повні. Теорема Кнастера-Тарського".
Доповідач: Козеренко С.О. (@sergio_kozerenko), старший викладач у КМА, викладач у КШЕ, науковий співробітник ІМ.
Зум: https://zoom.us/j/5197673308?pwd=eGRtaVIzbHlNT3RoRjc5U2FsVENGUT09
519 767 3308
213122
На доповіді поговоримо про решітки як особливі часткові порядки та цікаві алгебраїчні структури. Обговоримо їхні основні типи та доведемо важливу теорему Кнастера-Тарського про нерухому точку.
Поточний сезон Студматсемінару вже дійсно можна назвати легендарним, бо ми не зупиняємось, а продовжуємо радувати вас новими доповідями. 😁😇
І чергове, 17-те засідання СМС вже не за горами - воно відбудеться у Вт, 30.04 о 17:00 в нашій улюбленій ауд. 219 Інституту математики. ❤️
Тема: "Решітки: дистрибутивні, модулярні, повні. Теорема Кнастера-Тарського".
Доповідач: Козеренко С.О. (@sergio_kozerenko), старший викладач у КМА, викладач у КШЕ, науковий співробітник ІМ.
Зум: https://zoom.us/j/5197673308?pwd=eGRtaVIzbHlNT3RoRjc5U2FsVENGUT09
519 767 3308
213122
На доповіді поговоримо про решітки як особливі часткові порядки та цікаві алгебраїчні структури. Обговоримо їхні основні типи та доведемо важливу теорему Кнастера-Тарського про нерухому точку.
❤10🔥3🐳1
Сьогодні 118 років із дня народження Курта Геделя - математика, що змінив уявлення про аксіоматику назавжди.
Восьмого Міжнародного конгресу математиків, що відбувся в Болоньї 1928 року, Геделю пощастило прослухати лекцію Давида Гільберта, присвячену повноті та несуперечливості аксіоматичних систем.
Дослідження цієї проблематики лягло в основу майбутньої наукової роботи Курта: 1930 року Гедель блискуче захистив дисертацію "Про повноту логічного числення". Гедель показав, що в будь-якій несуперечливій системі аксіом є істинні твердження, які не мають доведень.
Давид Гільберт першим визнав цінність наукових праць Геделя, погодившись із тим, що вся його програма з формалізації основ математики потребує кардинального перегляду.
Восьмого Міжнародного конгресу математиків, що відбувся в Болоньї 1928 року, Геделю пощастило прослухати лекцію Давида Гільберта, присвячену повноті та несуперечливості аксіоматичних систем.
Дослідження цієї проблематики лягло в основу майбутньої наукової роботи Курта: 1930 року Гедель блискуче захистив дисертацію "Про повноту логічного числення". Гедель показав, що в будь-якій несуперечливій системі аксіом є істинні твердження, які не мають доведень.
Давид Гільберт першим визнав цінність наукових праць Геделя, погодившись із тим, що вся його програма з формалізації основ математики потребує кардинального перегляду.
❤🔥5❤1
👆Після приєднання Австрії до Німеччини в 1938 році Гедель був вимушений переїхати до США. У 1940 році Гедель прибув до Сполучених Штатів, ставши громадянином США в 1948 році. Під час свібесіди на отримання громадянства він не стримався і згадав про знайдену "діру" в Конституції Сполучених Штатів, за допомогою якої в Америці можна законно встановити диктатуру, але екзаменатор поставився лояльно та перейшов до іншої теми співбесіди.
Оселившись у Сполучених Штатах, Гедель знову створив роботи найвищого ґатунку. Його шедевр "Узгодженість аксіоми вибору та узагальненої гіпотези континууму з аксіомами теорії множин" (1940) є класикою сучасної математики. У ній він довів, що якщо аксіоматична система теорії множин (типу, запропонованого Расселом і Вайтхедом у "Principia Mathematica") є несуперечливою, то вона залишиться такою, коли до неї додати аксіому вибору та узагальнену гіпотезу континууму. Звісно, це не доводило, що ці аксіоми не залежать від інших аксіом теорії множин, але коли Коен (1963) остаточно довів це, він спирався на ці ідеї Геделя.
Також Гедель працював із Альбертом Айнштайном. Більше того, вони були сусідами в Прінстоні і дружили майже все життя. 1949 Гедель знайшов точне рішення до Айнштайнових рівнянь поля, пізніше відоме як метрика Геделя. Також подейкують, що він презентував цей розв'язок Айнштайну, як подарунок на день народження.
Гедель зробив величезний вклад у фундаментальну математику. Разом із Фон-Нойманом та Бернайсом вони створили аксіоматику NBG - розширення ZFC, що дозволяє уникати логічних парадоксів.
У фільмі Крістофера Нолана "Оппенгеймер" (2023) Гедель з'являється в одній сцені, де прогулюється парком з Айнштайном, та каже єдину фразу: "Дерева - найдивовижніші структури."
Джон фон Нойман говорив так:
"Досягнення Курта Геделя в сучасній логіці унікальні й монументальні. Безумовно, це - щось більше, ніж пам'ятник вченому, це - дороговказна зірка, світло якої продовжить поширюватися в просторі та часі вічно".
Оселившись у Сполучених Штатах, Гедель знову створив роботи найвищого ґатунку. Його шедевр "Узгодженість аксіоми вибору та узагальненої гіпотези континууму з аксіомами теорії множин" (1940) є класикою сучасної математики. У ній він довів, що якщо аксіоматична система теорії множин (типу, запропонованого Расселом і Вайтхедом у "Principia Mathematica") є несуперечливою, то вона залишиться такою, коли до неї додати аксіому вибору та узагальнену гіпотезу континууму. Звісно, це не доводило, що ці аксіоми не залежать від інших аксіом теорії множин, але коли Коен (1963) остаточно довів це, він спирався на ці ідеї Геделя.
Також Гедель працював із Альбертом Айнштайном. Більше того, вони були сусідами в Прінстоні і дружили майже все життя. 1949 Гедель знайшов точне рішення до Айнштайнових рівнянь поля, пізніше відоме як метрика Геделя. Також подейкують, що він презентував цей розв'язок Айнштайну, як подарунок на день народження.
Гедель зробив величезний вклад у фундаментальну математику. Разом із Фон-Нойманом та Бернайсом вони створили аксіоматику NBG - розширення ZFC, що дозволяє уникати логічних парадоксів.
У фільмі Крістофера Нолана "Оппенгеймер" (2023) Гедель з'являється в одній сцені, де прогулюється парком з Айнштайном, та каже єдину фразу: "Дерева - найдивовижніші структури."
Джон фон Нойман говорив так:
"Досягнення Курта Геделя в сучасній логіці унікальні й монументальні. Безумовно, це - щось більше, ніж пам'ятник вченому, це - дороговказна зірка, світло якої продовжить поширюватися в просторі та часі вічно".
🔥8❤2❤🔥1
Студентський математичний семінар
Видатний математик, фізик і навіть філософ науки! Все це поєднав у собі легендарний науковець, із дня народження якого сьогодні виповнюється рівно 169 років. Анрі Пуанкаре був блискучим талантом французької школи математики, яка подарувала світу не один десяток…
Шановні друзі, сьогодні виповнюється рівно 170 років із дня народження видатного математика - Анрі Пуанкаре. 🥰 На честь цієї події рекомендуємо прочитати наш минулорічний постик-привітання. Зараз же додамо деякі цитати самого іменинника:
"Доведення, яке не є строгим, - це ніщо."
"Математика - це мистецтво давати однакову назву різним речам…"
"Математична робота не проста механічна праця, її не може виконати машина, хоч би й яка досконала."
"У математики потрійна мета. Вона повинна давати знаряддя для вивчення природи. Окрім того, вона має філософську спрямованість і, насмілюся сказати, - естетичну. Вона повинна заохочувати філософа до дослідження ідей числа, простору і часу; а до того ж, знавці знаходять у математиці насолоду, схожу на ту, яку дає живопис і музика. "
"Доведення, яке не є строгим, - це ніщо."
"Математика - це мистецтво давати однакову назву різним речам…"
"Математична робота не проста механічна праця, її не може виконати машина, хоч би й яка досконала."
"У математики потрійна мета. Вона повинна давати знаряддя для вивчення природи. Окрім того, вона має філософську спрямованість і, насмілюся сказати, - естетичну. Вона повинна заохочувати філософа до дослідження ідей числа, простору і часу; а до того ж, знавці знаходять у математиці насолоду, схожу на ту, яку дає живопис і музика. "
❤🔥8❤3