Сегодня у нас зачёт по САСной метрике САС.
Пишите свои ответы очень, очень чётко. Чечётка.
По результатам вы попадёте на один из четырёх факультетов: Гриффиндор, Гриффиндуй, Когтендор и Слизендор.

КАКОГО ДЬЯВОЛА ТЫ ЗДЕСЬ ШУМИШЬ??? Ты нарушил закон, запрещающий нарушать закон!

В марте я делала пост про BusyBeaver и писала, что BB(5) ещё не вычислен. Летом этого года умные люди таки нашли BB(5) 🥳 вот тут можно найти доказательство в Coq. Доказательства на человеческом языке пока что нет, но это вопрос времени!

Мне безумно интересно, где же та граница наших возможностей, что BB(n) найти можно, а вот BB(n+1) уже нельзя? (Возможно, этого мы никогда не узнаем 🤯) И как быстро будут вычислять новые значения BB?

В эту субботу будет лекция в МГУ на эту тему для всех желающих (но нужна регистрация). Вот тут подробности и ссылка на регистрацию.

Я в 18 лет: и чё это семиклашек разрывает от слова "одночлен"? Не вижу ничего смешного 😡

Я в сейчас лет: ахахаха САС вы видели!!! А теоремы доказываются в КОКе ахахахахахаха

У бедного котёночка всего лишь два дивана, три лежанки и когтеточка типа домик, поэтому она вынуждена лежать на домашках студентов 😭

Хочу романтический ужин с лучшей посудой!!!

- Привет, милая! 😘 Что ты такая задумчивая? 🙄
- Думаю, P равно NP или нет... проблема тысячелетия, слышал про такую? 🙈 у меня уже мозг взрывается! 😞 🤯
- Иди, проветрись 😅 свежим воздухом паром подыши 😤
- Спасибо за заботу любимый 🥰
- А твою проблему я уже решил: Р равно 0 или N равно 1 😎
- awww 😍

Два умных человека мигом понимают друг друга 😌

(Ревнителям чистых лёгких: я ничего не пропагандирую, на фото пар от увлажнителя воздуха)

Помните "игры на доверие" из детства? Типа падаешь назад, а твой друг стоит сзади и тебя ловит.
У меня сегодня была такая игра - взрослая версия 😱 моему другу надо было запарковаться на тоненького и не задеть другую машину. Он придумал гениальную вещь: я встала между двумя машинами, после чего он мееееедленно поехал на меня 🙈 попыталась изобразить, как это выглядело! Чистой логикой я понимала, что он меня не заденет, но эмоционально прочувствовала эту атмосферу доверия другому человеку 🥰

Я тут узнала, что сегодня день отца. Он празднуется каждое третье воскресенье октября с 2021 года.
К сожалению, мне с этим праздником некого поздравлять - фигуры отца в моей жизни и в моём сознании не существует, но в моём воображении есть некая мечта о заботящемся обо мне взрослом мужчине (просто так заботящемся, потому что я его ребёнок). И этот образ просто невероятно передан в одном из моих любимых фильмов "Малышка на миллион". Если не смотрели - крайне рекомендую к просмотру, фильм не самый лёгкий, очень эмоциональный и для меня безумно трогательный. Вот эту сцену каждый раз пересматриваю с трепетом в груди 🥺

Вот зачем нужны подлокотники на компьютерных креслах 😍

Моё лицо, когда зашла на госуслуги 😎

Сегодня увидела это милейшее видео, как проверяют рефлексы у кошек 🥺
Хотя я немножко знаю биологию, я КАЖДЫЙ раз удивляюсь любым сходствам кошечек и других созданий с людьми 🙃 Ещё я попыталась проверить рефлексы у своей Аликс. Видимо, я куда-то не туда ей стучала, потому что лапка у неё так и не дёрнулась 😞 умом понимаю, что надо под коленочку, но не получается, и всё тут!

Дружеское напоминание с мехмата 😊

Матлогики не любят правило сечения. Почему? Посмотрите: в нём написано "ГАД".
Кузнецов С.Л.

Как доказать иррациональность корня из 2 плюс корня из 3
(Реальный случай, рассказан С.А.Дориченко)

Почему такая, извините меня, разноценка? Аааааааааа?

Моя кисонька Аликс, как оказалось, хорошо знает законы логики 😍
Прихожу домой с Серёжей, Аликс нас встречает. Я говорю ей "мы тебя покормим". Даю ей покушать. Она поела и пошла у Серёжи еду выпрашивать.
Всё логично: "мы тебя покормим" означает "я и Серёжа тебя покормим" 😁

Прочитала не так давно вышедшую книгу Джона Стилуэлла "Обратная математика". Жаль, что книга очень короткая и мне немного не хватило глубины в ней. Но меня до сих пор вштыривает от того, что из слабой леммы Кёнига не следует обычная лемма Кёнига 😱
Поясню. Обычная лемма Кёнига: в любом бесконечном дереве с конечным ветвлением есть бесконечный путь. Слабая лемма Кёнига: в любом бесконечном поддереве полного двоичного дерева есть бесконечный путь. По сути мы запрещаем ветвиться как угодно сильно, а разрешаем либо вообще не ветвиться, либо давать две веточки. И это резко обрушивает силу теоремы!!! Например, теорему Больцано-Вейерштрасса о существовании частичного предела у любой ограниченной последовательности из слабой леммы Кёнига не вывести, нужна обычная лемма Кёнига.
Казалось бы: если умеем делиться на 2 веточки, то почему бы не уметь делиться на любое конечное число веточек? Я тут вижу, во-первых, что если уметь делиться "на любое конечное число веточек", то тут будет в неявном виде присутствовать индукция, что уже выглядит слишком сильным предположением. Во-вторых, имеются нестандартные модели натурального ряда: число веточек может быть конечным, но нестандартным (а почему бы и нет?).
Помню, что я окончательно поверила во вторую теорему Гёделя, когда увидела следующий нестандартный вывод лжи. Обозначаю 1 за истину, 0 за ложь.
1. 1
2. 1
3. 1
....
далее идёт нестандартный кусок, пусть с - одно из нестандартных натуральных чисел.
....
c-3. 0->0
c-2. 0
с-1. 0->0
с. 0
И всё честно, каждая формула либо аксиома (как 0->0), либо получается из предыдущих по modus ponens 🤯