Анекдот.
Матлогик приходит на собеседование на кафедру матлога. Его спрашивают:
- В чём отличие истины от лжи?
- Истина соответствует действительности, она отражает объекты такими, какие они есть на самом деле, независимо от познающего субъекта. Ложь сознательно искажает действительность.
- Ты что, тупой?
- ...?
- Истина - это 1, ложь - это 0.

Аликс - кошка-вдвшница 🤣
У неё есть фонтанчик, она из него пьёт, но ещё больше она любит в нём купаться 😱 сегодня она попыталась залезть в него всеми лапками)) думаю, может, ей нужен фонтан побольше? 🤔
Было бы ещё смешнее, если бы Аликс была полосатенькая 😁

Любой математический объект be like: "а вы бы меня изучали, если бы я не существовал? 🥺"

Сегодня наткнулась на нечто удивительное... в двух словах: проникновение огромных кардиналов, существование которых (вроде как) не выводится в ZFC, в конечную математику натуральных чисел 😱

Теперь подробнее (тут есть ссылки на статьи). Рассмотрим бинарную операцию * на натуральных числах от 1 до 2^n, удовлетворяющую двум условиям:
1) a*1 = (a+1) mod (2^n)
2) a*(b*c)=(a*b)*(a*c)
Теперь через P(n) обозначим период последовательности 1*1, 1*2, ..., 1*(2^n). И тут начинаются странности 😳
Последовательность P(n) выглядит так: 1, 1, 2, 4, 4, 8, 8, 8, 8, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,....

Последовательность P(n) состоит только из степеней двоек. Как оказалось, число 32 точно не возникнет вплоть до A(9,A(8,A(8,255)))-го места (где А - дикорастующая функция Аккермана). Неизвестно, можно ли доказать, что где-то в этой последовательности есть 32, если использовать только ZFC. Однако, если предположить существование некоторого огроменного кардинала, то можно доказать неограниченность этой последовательности 😨

Закончу словами негативщика, пост которого мне недавно любезно прислали в комментариях: "Но практически никто в математических трудах (я даже исключений не припомню) не ссылается хотя бы на какие-то логические факты. Ни в какой теореме логические факты не нужны! Всё прекрасно развивается без логики, и логика нигде никому не помогает!"

"Тренируйся лучше на кошках 😸"
В центре Москвы повторили несколько знаменитых сцен из советских фильмов. Эта - моя любимая 🥰 (наверное, из-за кошек 🤔)

Поздравляю со Всемирным днём логики 🥳
Это я на одном из первых своих докладов стою и думаю: "неужели это я всё написала... 🤯"

Я обожаю диалектные слова 🙂 это же очень интересно, как говорят люди в разных регионах! Расскажу о двух примерах студенческого диалекта.
Моя знакомая родом из Ярославля поведала мне о слове "парашют". Это то же самое, что более употребительное слово "бомба" - листок с заранее записанными ответами на вопросы экзамена.
Другой мой знакомый из Красноярска рассказал о слове "лента", так они называют все занятия в университете. Отличается от "пары" тем, что "пара" - это как два урока с маленьким перерывом между ними, а "лента" - длинное непрерывное полуторачасовое занятие.
Знаете ещё примеры таких любопытных словечек?

После того, как я написала про одну задачу с межнара, я решила, что о ней должно узнать больше людей. И опубликовала статью в "Кванте", посвящённую этой задаче!
Статья называется "Нужно больше золота!!!". Серёжа сказал, что моя следующая статья для "Кванта" должна называться "Некуда класть!". А что, про какие-нибудь упаковки, замощения можно такое написать 🤣
Надеюсь, вам понравится статья 🥺

Вот это да 😲
Первое по-настоящему убедительное доказательство теории разумного замысла 🤯

Ладно... 🙄 (искренне думала, что "пара" - это "два")

Это я показываю коллеге из другого универа свои научные результаты (архивное фото)

Когда решила уделить время саморазвитию:

(читаю книгу про человекообразных обезьян, они просто невероятные существа 🤩)

Совет для девочек!!! 👄
Если вас пригласили на фильм, обязательно посмотрите постер 🫣 иначе будете как я, вместо фильма с няшкой смотреть фильм с Марфуткой 😤

Прикиньте, в 2024 году верхнюю оценку на числа Рамсея улучшили! 🤯 Причём неплохо так))
Готовилась к лекции, и в процессе обнаружила этот факт. До недавнего времени R(k,k) умели оценивать сверху как c^k только для c=4, и эту 4 уменьшить ну никак не получалось. В 2023 году 4 немного поддалась (об этой статье мне рассказал мой студент): оценили сверху как c^k для c=4-1/2^7. Пусть на пипеточку, но подвинули 🤣
А в 2024 году удалось уменьшить 4 получше: до 3,8. Доказательство сильно проще и короче по сравнению с 2023 годом!
Шутка: если математик попал в психушку, как проверить его на вменяемость? Попросить посчитать R(6,6), если начнёт считать, то его ещё не долечили 🙃

небольшое разговорное видео!
не знаю, хорош ли такой формат, но попробую 😐

Моей alma mater 270 лет 🎉
Это я сфотографировала Главное здание на 1 курсе 😁
Забавный факт: МГУ на 21 год старше США 🤯

Наглядный пример одноточечной компактификации с мехмата МГУ 👀

Если вы от учёбы испытываете не такие эмоции, то знайте - вы учитесь напрасно...

Чем наука отличается от магии?
Наука действительно способна предсказывать будущее!

(Случайные мудрости с моих лекций 😁)

Ну, теперь всё понятно 😁