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

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

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

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

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

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

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

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

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

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

Как доказать иррациональность корня из 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 🤯

Девочки!!!
Думаю мужу вот это подарить, надеюсь он поймёт мой намёк!!!
(Что я хочу в D&D поиграть, давно не было опыта.)

Мехматовцы не умеют отдыхать и от нагрузки часто выгорают. Поэтому каждый мехматовец должен помнить: лучше выйти из академа, чем выйти из окошка!

(Подслушано на мехмате)

Я: замужем.
Аликс: за мужем.

Не путаем 😜