🎞 НЕЙРОСЕТЬ РЕШАЕТ ЗАГАДКУ ЖАКА ФРЕСКО | ЗАГАДКА ЖАКА ФРЕСКО ОТВЕТ

— 640x360 (360p), 1280x720 (720p), audio only (tiny)

​📢 Репост из группы N + 1:

Математические способности связывают с развитым пространственным мышлением, но какие именно упражнения нужно выполнять, чтобы преуспеть в математике? Оказалось, что лучше всего в этом помогают упражнения на нахождение закономерностей в геометрических фигурах и пространственную память. Такой вывод сделали ученые, проанализировав успехи в математике детей, которые обучались по различным программам

https://nplus1.ru/news/2021/05/24/space-cognition-math

за вами посуду мою, ношу насвай под губою

​📢 Репост из группы Математические этюды:

На прошлой неделе исполнилось 550 лет со дня рождения Альбрехта Дюрера. Как говорили раньше, «гости и жители столицы» могут до конца июня посетить выставку гравюр мастера, проходящую в Государственном историческом музее.

На ней представлена и «Меланхолия» с магическим квадратом – первое, о чём вспоминают, когда говорят о математике Дюрере. Затем обычно следуют две гравюры, посвящённые ренессансной перспективе.

Альбрехт Дюрер был не просто художником, он разрабатывал теорию и, соответственно, пересечения его творчества и математики – обширны. Мы лишь напомним, что в 1525 году он выпустил книгу «Наставления в искусстве измерений с помощью циркуля и линейки, плоские и пространственные тела». Часть книги посвящена многогранникам и их развёрткам. Эта тема, казалось бы совсем детская, но до сих пор в ней есть нерешённые задачи.

Одна из них – Анти-Дюрер гипотеза, сформулированная одним из главных специалистов по теории многогранников Николаем Петровичем Долбилиным (https://www.mccme.ru/mmmf-lectures/books/books/book.5.pdf) и названная так с оглядкой на знакомое старшим товарищам словосочетание Анти-Дюринг.

На страницах своей книги Дюрер приводит связные рёберные развёртки нескольких, иногда довольно сложных, многогранников. Вряд ли он задумывался над тем, всегда ли это возможно и хватает ли для изображения развёртки одного многоугольника, но следующее предположение часто называют его именем. Гипотеза Дюрера состоит в том, что любой выпуклый многогранник имеет хотя бы одну связную рёберную развёртку.

«Анти-Дюрер» гипотеза предполагает, что для любого натурального числа N найдётся многогранник, чья несамопересекающаяся ребёрная развётка не может состоять из меньше чем N частей.

Для тех, кому эта тематика интересна – напомним про фильмы

Анти-Дюрер https://etudes.ru/etudes/durer-conjecture/

Развёртка https://etudes.ru/etudes/polyhedra-net/

И это развёртка? https://etudes.ru/etudes/polyhedra-development/

— Ссылка:
Анти-Дюрер / Этюды // Математические этюды

​📢 Репост из группы N + 1:

Ура, следующая лекция!

Как связаны Мириам Мирзахани из Ирана и Освальд Теймхюллер из нацистской Германии? Сколько математиков нужно, чтобы доказать теорему? Об истории гиперболических пространств и последних открытиях в этой области расскажет издатель N+1 Андрей Коняев.

12 июня, 17.00
ДК Рассвет

Билеты: https://nplus1.timepad.ru/event/1654031/

Стоимость билета: до 6 июня — 750 рублей, 6–12 июня — 950 рублей.

Ждем вас!

Вступайте в группу мероприятия: https://vk.com/event204775087

— Встреча:
Любовь, смерть и пространства Тейхмюллера

-Flop.
-Flop.
-Have ever been in an institution? Flop.
-Flop.
-Do you hiss when somebody gets too close? Flop.
-Flop
-Did they teach you how to feel, paw to paw? Flop.
-Flop.
-Shrimps.
-Shrimps.
-What's it like to lick the hand of someone you love? Shrimps.
-Shrimps.
-Do you dream about eating shripms? Shrimps.
-Shrimps.
-Do you like being separated from Sogga? Flop.
-Flop.
-Do you feel that there's a part of you that's missing? Flop.
-Flop.
- Why don't you repeat three times, flop for no hoes?
-Flop for no hoes, flop for no hoes, flop for no hoes

​📢 Репост из группы Фонд развития теоретической физики и математики:

Специализация "Фундаментальная математика и математическая физика" разработана в 2020 году на механико-математическом факультете МГУ имени М.В. Ломоносова при поддержке Фонд развития теоретической физики "БАЗИС". Программа реализуется совместно с
Институтом теоретической и математической физики МГУ.

Главной особенностью новой специализации является сочетание сильной математической подготовки с уклоном в современные курсы теоретической физики, обучение студентов физическому взгляду на задачи и необходимому для понимания языка физических теорий математическому аппарату.

https://www.youtube.com/watch?v=M_4kLxf4A04&t=7s

— Видео:
Мехмат МГУ: новая программа специалитета "Фундаментальная математика и математическая физика", 0:05:11

Плакать надо, кеков-то больше не стало

😢

/kek

хех

📢 Репост из группы Кафедра математической логики МГУ:

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

На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ

"Модальная и алгебраическая логика" и "Логические методы в информатике"

в ближайший четверг, 27 мая, начало в 18:30, состоится доклад

Ilya Shapirovsky, Institute for Information Transmission Problems, RAS, New Mexico State University
PSPACE-hardness in modal logic: some corollaries of Ladner's construction

According to Ladner's theorem, all logics contained in S4 are PSPACE-hard [Ladner77]. In fact, the Ladner's proof yields PSPACE-hardness for a wider class of modal logics, for example, for logics contained in the Gödel-Löb logic GL or in the Grzegorczyk logic Grz; with some modifications, the proof works for logics contained in S4.1, Grz.2 and many others [Spaan 1993].

In this talk I will discuss the Ladner's and Spaan's constructions, and their corollaries.

References
R. Ladner. The computational complexity of provability in systems of modal propositional logic. SIAM Journal on Computing, 6(3):467–480, 1977.
E. Spaan. Complexity of Modal Logics, PhD thesis. University of Amsterdam, Institute for Logic, Language and Computation, 1993.

Видеозаписи предыдущих докладов:

https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX

Веб-страница с аннотациями и слайдами:

http://lpcs.math.msu.su/rus/ml.htm

Для получения ссылки на зум-конференцию пишите на почту aleksandr.zapryagaev@yandex.ru.
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!

📢 Репост из группы Кафедра математической логики МГУ:

#матлог #новости

В этом году МЦМУ МИАН (http://simc.mi-ras.ru/) и отдел математической логики МИАН (http://mi-ras.ru/) организуют тематическую программу Logical Perspectives 2021. Эта программа представляет собой ряд научных мероприятий, которые пройдут с 7 июня по 8 июля 2021 года. Сайт LP 2021 находится по адресу

http://lp2021.mi-ras.ru/

Цель программы — представить современные исследования в области логики и её приложения в других областях, таких как компьютерные науки и философия. Формат мероприятий предполагает участие исследователей самых разных уровней, от студентов и молодых учёных до опытных экспертов. Мы надеемся, что благодаря LP 2021 возникнут новые научные связи между исследователями, работающими в различных областях, а студентам и молодым учёным откроются новые перспективы для логических исследований.

Данная тематическая программа будет включать следующие мероприятия:

— LP 2021: Конференция, 7–11 июня (http://lp2021.mi-ras.ru/conference.html)
Программа конференции будет состоять из приглашённых докладов от выдающихся специалистов, в которых авторы представят своё видение будущего логики и смежных с нею областей.

— LP 2021: Летняя школа и семинар, 14–19 июня (http://lp2021.mi-ras.ru/workshop.html)
Эти два мероприятия будут посвящены вычислительной теории доказательств (в широком её понимании). Здесь молодые участники тематической программы смогут посетить мини-курсы по продвинутой тематике, а также сделать доклады на основе своих собственных исследований.

— Конференция Formal Philosophy 2021, 21–23 июня (https://llfp.hse.ru/en/formalphilosophy/2021/)
Конференция Formal Philosophy проводится международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ. Основная тематика мероприятия — применение методов математической логики в философии.

— Конференция Adian 90, 5-8 июля (https://sites.google.com/view/adian90/)
Конференция посвящена 90-летию С.И. Адяна (1931–2020). В программу войдут доклады известных специалистов в области логики, алгебры и теории вычислений.

Мероприятия программы будут проводиться либо онлайн, либо в смешанном формате, включающем как виртуальные, так и традиционные выступления. За исключением Formal Philosophy 2021, очная часть пройдёт в Математическом институте им. В.А. Стеклова РАН в Москве.

Желающие принять участие в тематической программе могут зарегистрироваться по адресу

http://lp2021.mi-ras.ru/participation.html

900!

Что за открытый набор?

6752680220964584158387906136180081422426942786958938431219826870368509164318041696913244695269830379422601037057867290859319834769988692859190650103158765184697675968111260952478709384800442863618689339527278445063035408024321764665802469665906595179375722352022923557754865383368110217097389374605464912641590914315017286072115668581065575923001145013299217645498322753869634011261044702900233700488...

Это первокурсники с нового направления