Не придумал на чём бы протестировать возможности графического планшета, поэтому принялся решать домашнее задание подписчика.
Использовался метод резолюции(я попросту соединил формулы 1 и 2 конъюнкцией, а затем путем элементарных логических преобразований пришёл к требуемой формуле 3).
Note: Параллельно вывелась формула 4, которую я записал постскриптум.
Вообщем, можете скидывать мне ваши логические и теоретико-множественные неурядицы. Если будут интересными, порешаю. Всё равно надо привыкнуть к новоприобретённой технологии.
(Извиняюсь за оформление. Как накидал за две минуты, так и запечатлил)
Использовался метод резолюции(я попросту соединил формулы 1 и 2 конъюнкцией, а затем путем элементарных логических преобразований пришёл к требуемой формуле 3).
Note: Параллельно вывелась формула 4, которую я записал постскриптум.
Вообщем, можете скидывать мне ваши логические и теоретико-множественные неурядицы. Если будут интересными, порешаю. Всё равно надо привыкнуть к новоприобретённой технологии.
(Извиняюсь за оформление. Как накидал за две минуты, так и запечатлил)
На ультрарозовых настроениях лечу.😈🖤
Завтра самолёт. 🌙
Пока-пока, сиреневые стены).
Плюс разыгрываю среди платных подписчиков свой трёхтомник русского логоса Дугина).
Подробнее в канале с эксклюзивным контентом:
https://t.me/tribute/app?startapp=sdC7
Завтра самолёт. 🌙
Пока-пока, сиреневые стены).
Плюс разыгрываю среди платных подписчиков свой трёхтомник русского логоса Дугина).
Подробнее в канале с эксклюзивным контентом:
https://t.me/tribute/app?startapp=sdC7
Не отпускайте Пашу. Мне надо Ton = 3$, чтобы навариться на лет пять вперёд!
Завтра в 14:00 МСК "Свидание с Александром Ладаном" на Твитче.
Буду пить вино и есть вкусную пищу — и за это заплатили 250$!
https://www.twitch.tv/alexanderladann
Буду пить вино и есть вкусную пищу — и за это заплатили 250$!
https://www.twitch.tv/alexanderladann
Twitch
AlexanderLadann - Twitch
вечно голодный
У меня начался синдром Романа Михайлова; похоже из-за близости осени.
В последнее время много посвещал времени изучению связи логики и топологии(немного рассказывал на стриме с Ночусом; двойственность Стоуна и т.д).
Стоит сперва утвердить парочку интересных фактов:
Если в логике невыводима формула, то эта логика с необходимостью непротиворечива, поскольку в противоречивой теории любая формула выводима. Обратное не всегда верно. Тривиальный пример: логика предикатов первого порядка, которая и полна, и непротиворечива.
Тем не менее, отсюда следует, что всякая неполная теория непротиворечива. Вестимо о чём и первая теорема Гёделя о неполноте. Такой взгляд выражен в диссертации Тьюринга — и он ошеломляет.
В голове явилась такая карта.
Мир логик имеет три детерминанты:
1. Сила — это полнота и выразимость.
2. Богатство — это количество и качество конструируемых математических объектов.
3. Честность — степень непротиворечивости и конструктивности по критериям Гейтинга.
Соответственно, в зависимости от распределения мы получаем различные достаточно содержательные описания.
К примеру, если логика нечестна, а значит противоречива, то она безумно богата, так как вмещает весь универсум формул, но слаба.
С другой стороны если логика совсем честная, то она становится компактной и маловыразимой, то бишь нищей и слабой — пропозициональная логика.
Работает принцип вассалитета. Логика нулевого порядка вкладывается в логику предикатов первого порядка, но не всегда наследуются вышеозначенные характеристики.
Я открыл для себя новый феодальный простор с честью, богатством и силой. И с этими логиками можно говорить на этом языке, у них есть своя разреженная топология и алгебра.
😈. Уже иду пить таблетки.
В последнее время много посвещал времени изучению связи логики и топологии(немного рассказывал на стриме с Ночусом; двойственность Стоуна и т.д).
Стоит сперва утвердить парочку интересных фактов:
Если в логике невыводима формула, то эта логика с необходимостью непротиворечива, поскольку в противоречивой теории любая формула выводима. Обратное не всегда верно. Тривиальный пример: логика предикатов первого порядка, которая и полна, и непротиворечива.
Тем не менее, отсюда следует, что всякая неполная теория непротиворечива. Вестимо о чём и первая теорема Гёделя о неполноте. Такой взгляд выражен в диссертации Тьюринга — и он ошеломляет.
В голове явилась такая карта.
Мир логик имеет три детерминанты:
1. Сила — это полнота и выразимость.
2. Богатство — это количество и качество конструируемых математических объектов.
3. Честность — степень непротиворечивости и конструктивности по критериям Гейтинга.
Соответственно, в зависимости от распределения мы получаем различные достаточно содержательные описания.
К примеру, если логика нечестна, а значит противоречива, то она безумно богата, так как вмещает весь универсум формул, но слаба.
С другой стороны если логика совсем честная, то она становится компактной и маловыразимой, то бишь нищей и слабой — пропозициональная логика.
Работает принцип вассалитета. Логика нулевого порядка вкладывается в логику предикатов первого порядка, но не всегда наследуются вышеозначенные характеристики.
Я открыл для себя новый феодальный простор с честью, богатством и силой. И с этими логиками можно говорить на этом языке, у них есть своя разреженная топология и алгебра.
😈. Уже иду пить таблетки.
Мы живём в мире, в котором Владимир Алипов(Ph.D по биологии и популяризатор нейробиологии в России) вынужден в прямом эфире на публичных дебатах учить биохакера с образованием девяти классов тому, как работают научные статьи, статистика, валидация и как переводятся фрагменты английского на русский.
При этом всём охлос засчитывает это как фактор поражения.
Ребят, а что делать, если оппонент на интеллектуальном уровне обезьяны и не способен вглядеться в график и увидеть, что витамины имеют сопоставимое с плацебо влияние? Это попросту необразованное чучело, срез дегенератов его смотрящих. Остаётся только в настоящий момент обучать это нечто всем премудростям, кои включаются в бакалаврский минимум даже провинциального российского вуза.
Наоборот. Вот эта-то обскурантность и явилась причиной биохакерства этой безволосой бобылихи, ибо верить в живительную силу аскорбинок — это особый тип психики.
При этом всём охлос засчитывает это как фактор поражения.
Ребят, а что делать, если оппонент на интеллектуальном уровне обезьяны и не способен вглядеться в график и увидеть, что витамины имеют сопоставимое с плацебо влияние? Это попросту необразованное чучело, срез дегенератов его смотрящих. Остаётся только в настоящий момент обучать это нечто всем премудростям, кои включаются в бакалаврский минимум даже провинциального российского вуза.
Наоборот. Вот эта-то обскурантность и явилась причиной биохакерства этой безволосой бобылихи, ибо верить в живительную силу аскорбинок — это особый тип психики.
Если кому интересно вкатиться в алгебру, к вашему вниманию базовый курс от НМУ:
https://old.mccme.ru/ium//f15/algebra-1.html
https://old.mccme.ru/ium//f15/algebra-1.html
Снова лето пролетело, так что время думать. А всем, кто завтра идёт на учёбу ─ крепитесь).
Занятно, что я получил столько сообщений благодарности за вдохновение поступить на технические специальности, хотя в медиа-поле всего около полугода. Во всяком случае мне греет душу этот факт. Глядишь через десять лет кто-нибудь станет кандидатом или доктором наук. Уже ради таких осведомлений стоит продолжать. 😈🖤
Сегодня стрима не будет, завтра день рождения у мамы, надо сесть на самолёт, чтобы успеть.
Занятно, что я получил столько сообщений благодарности за вдохновение поступить на технические специальности, хотя в медиа-поле всего около полугода. Во всяком случае мне греет душу этот факт. Глядишь через десять лет кто-нибудь станет кандидатом или доктором наук. Уже ради таких осведомлений стоит продолжать. 😈🖤
Сегодня стрима не будет, завтра день рождения у мамы, надо сесть на самолёт, чтобы успеть.
15-го сентября Nochus G и SHIZ. Поговорим про математику и теоретическую физику.
Готовим вопросы по теоретической физике и механике).
Готовим вопросы по теоретической физике и механике).
Голос из полусолярности
Итак, у меня несколько архилюбопытных новостей:
1. Осеннее смещение расписания стримов. Теперь они проходят в четверг и субботу. То есть стрим уже завтра в 16:00 МСК.
Это связано главным образом с моим внутренним циркадным распорядком.
2. Готовлю что-то необычное и необычайное, однако из-за предельной разрежённости внимания с особым постоянством прыгаю с темы на тему и окрестность исследований разрастается непомерно. Решено было поставить дедлайн до конца сентября; чтобы выпустить хоть что-нибудь. (Те, кто являются платными подписчиками, только и наблюдают, как я меняю интересы с теорвера и функана до "Мефистофель и Андрогин" Мирча Элиаде с вкраплениями моих попыток в укорачивание татарского кода).
3. Оформил наконец-то монетизацию на Ютубе — это не может не радовать. Ещё полгода назад следовало это сделать, как только я покинул поля необъятной, однако руки дотянулись лишь сейчас.
Теперь можно стать спонсором на Ютубе и получить соответствующие привилегии!
Спонсорство!
😈
Итак, у меня несколько архилюбопытных новостей:
1. Осеннее смещение расписания стримов. Теперь они проходят в четверг и субботу. То есть стрим уже завтра в 16:00 МСК.
Это связано главным образом с моим внутренним циркадным распорядком.
2. Готовлю что-то необычное и необычайное, однако из-за предельной разрежённости внимания с особым постоянством прыгаю с темы на тему и окрестность исследований разрастается непомерно. Решено было поставить дедлайн до конца сентября; чтобы выпустить хоть что-нибудь. (Те, кто являются платными подписчиками, только и наблюдают, как я меняю интересы с теорвера и функана до "Мефистофель и Андрогин" Мирча Элиаде с вкраплениями моих попыток в укорачивание татарского кода).
3. Оформил наконец-то монетизацию на Ютубе — это не может не радовать. Ещё полгода назад следовало это сделать, как только я покинул поля необъятной, однако руки дотянулись лишь сейчас.
Теперь можно стать спонсором на Ютубе и получить соответствующие привилегии!
Спонсорство!
😈
Аниме и Матрица — два лота победившие на аукционе.
Будем смотреть в Вконтакте, потому что этой площадке плевать на нарушение авторских прав.
Суббота-воскресенье.
Полная запись будет доступна платным подписчикам.
На днях прилетело предложение прочитать вебинар за 300$ — как человек заплатит, расскажу. 😈
Будем смотреть в Вконтакте, потому что этой площадке плевать на нарушение авторских прав.
Суббота-воскресенье.
Полная запись будет доступна платным подписчикам.
На днях прилетело предложение прочитать вебинар за 300$ — как человек заплатит, расскажу. 😈
Заказали вебинар по философии Меллстроя. (~350$).
Что за бизнес, сука?)😈
Что за бизнес, сука?)😈