Сьогодні 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
Шановна СМС-спільното!
Сьогодні свій День народження святкує один із найважливіших учасників нашого семінару - Артем Гак (@ArtemGak)! ❤️
Ми вдячні Артему за щиру відданість нашим активностям і всеосяжну підтримку Студматсемінару: офлайн і онлайн виступи, постійна технічна підтримка засідань СМС і фреш-гуртка, меценатство для СМС, численні живі активності нашого семінару й багато іншого. 🥰
Бажаємо Артему в цей день усього найкращого, а саме наукової творчості, нових знань і цікавих відкриттів, спілкування з однодумцями та міцної дружби! А також кохання та здоров'я аби все задумане втілити в життя. З Днем народження, Артеме! 🥳
Сьогодні свій День народження святкує один із найважливіших учасників нашого семінару - Артем Гак (@ArtemGak)! ❤️
Ми вдячні Артему за щиру відданість нашим активностям і всеосяжну підтримку Студматсемінару: офлайн і онлайн виступи, постійна технічна підтримка засідань СМС і фреш-гуртка, меценатство для СМС, численні живі активності нашого семінару й багато іншого. 🥰
Бажаємо Артему в цей день усього найкращого, а саме наукової творчості, нових знань і цікавих відкриттів, спілкування з однодумцями та міцної дружби! А також кохання та здоров'я аби все задумане втілити в життя. З Днем народження, Артеме! 🥳
🎉23❤8🍾1
Forwarded from Academ Open Air
Запрошуємо на ІІІ-ій студентський науковий пікнік - Academ Open Air 2024!
🗓 Дата: 31 травня 2024 р. (пт) о 13:00
📍Місце проведення: галявина Інституту металофізики ім. Г.В.Курдюмова НАН України, м.Київ.
Цей захід створений для об'єднання молоді різних природничих та математичних спеціальностей, ІТ, інженерії та міждисциплінарних галузей. На ньому представники європейських наукових інститутів та українські вчені розкажуть вам про:
🔸 те, де в Україні робиться "справжня наука";
🔸 стажування для студентів;
🔸 наукову співпрацю з інститутами в Україні та закордоном у прикладних галузях для нового покоління науковців.
Після завершення офіційної частини ви зможете вільно поспілкуватися із вченими, студентами та аспірантами, взяти участь у цікавих конкурсах, а також насолодитися фуршетом на свіжому повітрі.
Вхід вільний за попередньою реєстрацією. Очікуйте на детальну інформацію вже скоро! До зустрічі на Academ Open Air 2024!
Дізнатися більше у наших соцмережах: Telegram, Instagram, Facebook.
🗓 Дата: 31 травня 2024 р. (пт) о 13:00
📍Місце проведення: галявина Інституту металофізики ім. Г.В.Курдюмова НАН України, м.Київ.
Цей захід створений для об'єднання молоді різних природничих та математичних спеціальностей, ІТ, інженерії та міждисциплінарних галузей. На ньому представники європейських наукових інститутів та українські вчені розкажуть вам про:
🔸 те, де в Україні робиться "справжня наука";
🔸 стажування для студентів;
🔸 наукову співпрацю з інститутами в Україні та закордоном у прикладних галузях для нового покоління науковців.
Після завершення офіційної частини ви зможете вільно поспілкуватися із вченими, студентами та аспірантами, взяти участь у цікавих конкурсах, а також насолодитися фуршетом на свіжому повітрі.
Вхід вільний за попередньою реєстрацією. Очікуйте на детальну інформацію вже скоро! До зустрічі на Academ Open Air 2024!
Дізнатися більше у наших соцмережах: Telegram, Instagram, Facebook.
❤4
Студентський математичний семінар
Шановна СМС-спільното! Хочемо повідомити вам про можливість подання тез на XII Всеукраїнську наукову конференцію молодих математиків. 🤓 Реєстрація та подача тез: до 01.05.2024. ☝️ Робота конференції: 09-11.05.2024. Цьогоріч конференція буде проводитися…
Доброго дня, шановні друзі.
Повідомляємо, що із завтрашнього дня о 14:00 стартує XII Всеукраїнська наукова конференція молодих математиків. Усі доповіді відбудуться в онлайн-форматі (протягом 09-11.05.24).
Зокрема, на конференції виступлять наступні активні учасники нашого любого Студматсемінару 🥰:
- Єгор Окунєв, "Аналіз корпусу української мови за допомогою моделі прихованого ланцюга Маркова".
- Федір Жидок, "Hybrid random fields".
- Олександр Решетар, "Optimal sensor placement".
- Катерина Антошина, "Про блоки у графах із парними та непарними відстанями між не точками з'єднання".
- Юр-Любомисл Дехтяр, "Когомоморфізми графів і метричні відображення між їхніми доповненнями".
- Владислав Гапоненко, "Число загального положення для All-path опуклості та новий алгоритм".
- Богдан-Ярема Дехтяр, "Конструкція знакового реберного графа".
- Кирило Первушин, "Про T-групоїди на скінченних деревах".
- Денис Чаус, "Просте доведення реалізації одиничної відстані при покритті площини чотирма неперетинними множинами, де хоча б дві вимірні".
Із повною програмою конференції та всіма її доповідями (розбитими на секції) можна ознайомитись за посиланням: https://mathconf.ukma.edu.ua/Program2024.pdf
Повідомляємо, що із завтрашнього дня о 14:00 стартує XII Всеукраїнська наукова конференція молодих математиків. Усі доповіді відбудуться в онлайн-форматі (протягом 09-11.05.24).
Зокрема, на конференції виступлять наступні активні учасники нашого любого Студматсемінару 🥰:
- Єгор Окунєв, "Аналіз корпусу української мови за допомогою моделі прихованого ланцюга Маркова".
- Федір Жидок, "Hybrid random fields".
- Олександр Решетар, "Optimal sensor placement".
- Катерина Антошина, "Про блоки у графах із парними та непарними відстанями між не точками з'єднання".
- Юр-Любомисл Дехтяр, "Когомоморфізми графів і метричні відображення між їхніми доповненнями".
- Владислав Гапоненко, "Число загального положення для All-path опуклості та новий алгоритм".
- Богдан-Ярема Дехтяр, "Конструкція знакового реберного графа".
- Кирило Первушин, "Про T-групоїди на скінченних деревах".
- Денис Чаус, "Просте доведення реалізації одиничної відстані при покритті площини чотирма неперетинними множинами, де хоча б дві вимірні".
Із повною програмою конференції та всіма її доповідями (розбитими на секції) можна ознайомитись за посиланням: https://mathconf.ukma.edu.ua/Program2024.pdf
🔥10👍1
Студентський математичний семінар
Доброго дня, шановні друзі. Повідомляємо, що із завтрашнього дня о 14:00 стартує XII Всеукраїнська наукова конференція молодих математиків. Усі доповіді відбудуться в онлайн-форматі (протягом 09-11.05.24). Зокрема, на конференції виступлять наступні активні…
Media is too big
VIEW IN TELEGRAM
А ось і відео вчорашніх виступів деяких СМС-ників на конференції: К. Антошина, Ю.-Л. Дехтяр, В. Гапоненко, Б.-Я. Дехтяр, Д. Чаус.
❤🔥3👍3
Forwarded from Academ Open Air
Сьогодні розповімо про те, як проходив Academ Open Air у минулі роки.
Науковий пікнік відбувся у змішаному форматі. Онлайн-частина включала надихаючі доповіді науковців у галузях металофізики, нейробіології, математики, машинного навчання та генетики. Спікери розповіли про сучасні наукові досягнення та поділилися своїм професійним досвідом.
На затишній галявині Інституту металофізики ім. Г. В. Курдюмова відбулася офлайн частина. Відвідувачі мали змогу взяти участь у грі-знайомстві "Капелюх", поспілкуватися із науковцями, подивитися на зеленого щура, поспостерігати за роботою 3D-принтеру, спробувати VR та, авжеж, пригоститися смачною їжею з фудкорту.
Інтерактивна частина заходу - "Наукові експерименти" викликала справжній ажіотаж! Найбільш уважні учасники отримали призи за правильне пояснення фізичних явищ, представлених у експериментах. Науковий speed dating став приємним завершенням заходу.
Дізнайтеся більше про Academ Open Air у цій статті та відео
#academopenair2024
Науковий пікнік відбувся у змішаному форматі. Онлайн-частина включала надихаючі доповіді науковців у галузях металофізики, нейробіології, математики, машинного навчання та генетики. Спікери розповіли про сучасні наукові досягнення та поділилися своїм професійним досвідом.
На затишній галявині Інституту металофізики ім. Г. В. Курдюмова відбулася офлайн частина. Відвідувачі мали змогу взяти участь у грі-знайомстві "Капелюх", поспілкуватися із науковцями, подивитися на зеленого щура, поспостерігати за роботою 3D-принтеру, спробувати VR та, авжеж, пригоститися смачною їжею з фудкорту.
Інтерактивна частина заходу - "Наукові експерименти" викликала справжній ажіотаж! Найбільш уважні учасники отримали призи за правильне пояснення фізичних явищ, представлених у експериментах. Науковий speed dating став приємним завершенням заходу.
Дізнайтеся більше про Academ Open Air у цій статті та відео
#academopenair2024
👍6