home.social

#логика — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #логика, aggregated by home.social.

fetched live
  1. [Перевод] Наибольшее число, которое можно уместить в одном твите

    Привет! Меня зовут Джоэл Дэвид Хэмкинс, и сегодня я хотел бы рассказать вам о парадоксе наибольшего числа, которое можно уместить в твите . Конечно, теперь Twitter называется X, но я буду пользоваться старой терминологией и говорить о твитах, Twitter и так далее. Традиционное ограничение на длину твита составляет 280 символов. И, разумеется, в твите можно записывать числа. Например, можно просто заполнить весь твит цифрами. Допустим, я пишу твит - вот мой твит - и заполняю его цифрами: 28765 и так далее. Я могу заполнить весь твит цифрами и тем самым записать некоторое число. Какое наибольшее число можно записать таким способом? Конечно, можно записать число гораздо больше. Вместо разных цифр можно использовать одни девятки и полностью заполнить ими твит. Тогда получится огромное число - на единицу меньше, чем . Но в твите можно задать числа гораздо большего размера. Например, вместо того чтобы выписывать само число, можно привести его описание. Я мог бы написать «один центиллион», а центиллион - это . Это число гораздо больше того, которое получится, если заполнить весь твит цифрами 9. Итак, мы уже нашли число побольше. Но какое самое большое число вообще можно уместить в твите?

    habr.com/ru/articles/1085210/

    #математика #твиттер #логика

  2. @Rumetro
    @Brainnote
    @holos_social001
    @zhub
    @rf
    @cae4ce0008244c464dd9ab636d3c472315d9c83fc319d79d6f9bdb62b035e6ad
    #Никита #Непряхин
    nepryakhin.ru/books/
    Автор книг:

    Критическое #мышление: Железная #логика на все случаи жизни» (в соавторстве с Тарасом #Пащенко

    Анатомия заблуждений: Большая книга по критическому мышлению.
    vkvideo.ru/video-234630684_456…

    Аргументируй это! Как убедить кого угодно в чём угодно?

    Я манипулирую тобой: Методы противодействия скрытому влиянию.

    Гни свою линию: Приёмы эффективной коммуникации.

    Убеждай и побеждай: Секреты эффективной аргументации.

    100 правил убеждения и аргументации.

    Как выступать публично: 50 вопросов и ответов.

    Как прокачать критическое #мышление и не сойти с ума?

    ❖─❖─❖─❖─❖
    Как прокачать критическое мышление и не сойти с ума?

    Что ломает ваше #мышление и как не попасть в ловушку манипуляций?

    В новом выпуске книжного клуба «ЗА ПОЛКОЙ» обсуждаем книгу «Надо думать!» Никиты Непряхина и Дмитрия Скворцова — тренажер по развитию критического мышления и защите от когнитивных искажений.

    vkvideo.ru/video-228741219_456…

    #Аудиокниги #Книги #Видео

  3. «Автомойка в 50 метрах от дома. Пойдем пешком?» Как простая загадка вызвала грандиозный философский спор о будущем ИИ

    Автомойка в 50 метрах от дома. Как доберетесь — на машине или пешком? Если вы ответили «конечно, пешком, отчего не прогуляться» — поздравляем. Вы угодили в старую как мир ловушку здравого смысла. Но не расстраивайтесь! Следом за вами на эту уловку попались и нейросети от компаний с триллионными бюджетами, а сама загадка стала важным бенчмарком адекватности, через который прогоняют ChatGPT, Claude, Grok, DeepSeek и все прочие современные ИИ. Правильный ответ тут гораздо сложнее, чем кажется на первый взгляд.

    habr.com/ru/articles/1070798/

    #ии #chatgpt #искусственный_интеллект #логика #логика_мышления #здравый_смысл #логические_задачи

  4. Чтение на выходные: «Теория игр» Авинаша Диксита и Барри Нейлбаффа

    Представьте, что вы сидите в такси в Иерусалиме, а водитель отказывается включать счётчик. Вооружившись знаниями теории игр, вы решаете не торговаться до прибытия в отель, чтобы усилить свою позицию. Приезжаете — и водитель называет явно завышенную сумму. Вы предлагаете меньше. А он в ответ блокирует двери, разворачивается, с головокружительной скоростью везёт вас обратно, высаживает на том же месте и кричит вслед: «Посмотрите, как далеко вы теперь уедете за 2200 шекелей». Именно так случилось с двумя американскими экономистами, и, спойлер: они всё же добрались до отеля — за те же 2200. Вопрос лишь в том, стоило ли потраченное время этих денег? Это одна из десятков историй, которыми пестрит книга Диксита и Нейлбаффа. И каждая — это не просто байка, а иллюстрация того, как мы ежедневно, сами того не замечая, участвуем в стратегических взаимодействиях. Любое такое взаимодействие — это не просто решение задачи, а диалог, в котором оппонент имеет свои цели и своё представление о ваших.

    habr.com/ru/companies/onlinepa

    #теория_игр #переговоры #логика #логика_мышления #чтение_на_выходные #принятие_решений

  5. Тренажер ТРИЗ для инженеров

    Я давно работаю инженером и когда узнал про ТРИЗ очень заинтересовался. Изучив все приемы пришел к выводу - а ведь не надо даже в наше время уже сидеть и долго мыслить над проблемами разработки ведь все основные шаблоны уже описаны. А ведь каждый шаблон это фактически выход из определенной ситуации и проблемы. В начале я сделал приложение в котором с начало показывается название приема и скрыто его значение. По типу приложения для заучивания слов. Но это мне показалось не очень интересным и скучным, поэтому долго я им не прозанимался и вскоре забыл про него. Вторая жизнь у приложения появилась после идеи сделать по 50 задач на каждый прием и решать их тем самым запоминая шаблон на опыте. Дальше неачались несколько дней мучения клоуда чат джпт на бесплатных тарифах. Они генерили мне для каждого приема по 50 задач. Кстати дисписк не очень справлялся с этой задачей, поэтому и не был использован. И вот через несколько дней появилось мое приложение. Ну а теперь подробней о нем.

    habr.com/ru/articles/1066094/

    #триз #задачи #тренировка_мозга #саморазвитие #самообразование #самообучение #логика #логика_мышления

  6. Симулятор логических схем с программируемыми гейтами на Lua

    Всем привет, недавно я написал симулятор логических гейтов или вентилей на С++ (sfml для графики + sol2 для интеграции луа скриптов), которые можно программировать на луа таким образом: ```

    habr.com/ru/articles/1053312/

    #C++ #lua #кодинг #программирование #схемы #логические_схемы #логика #симуляция #процессор #вентиль

  7. Спасти рядового Буридана

    Бывает результат эксперимента - очевиден! А компилятор, тесты или реальность смотрят на тебя как на безумца и выдают совсем другое. Знакомо? Как подкрутить ожидания?

    habr.com/ru/articles/1038354/

    #теория_вероятностей #физика #логика #экстремум #граничные_значение

  8. Пример n8n workflow для задачи объективного выбора лучшего из двух вариантов Опишем базовую информацию по мини-ф...

    #искусственный #интеллект #llm #принятие #решений #фреймфорк #логика

    Origin | Interest | Match
  9. Пишем логический калькулятор, лёжа на диване: как Termux и Си заменяют IDE, когда лень вставать

    Говорят, для программирования на Си нужен стол, стул, мощный ПК и Linux. У меня другой стек: диван, планшет на Андроиде и Termux. Но иногда мой монитор помещается в карман — это смартфон. В этой статье я расскажу, как небольшая лень привела к созданию пяти версий логического калькулятора и почему мобильный кодинг — это не только боль, но и своеобразная свобода. Противостояние против индустрии Идея родилась внезапно. Захотелось проверить одну логическую схему, но вставать и идти к компьютеру было выше моих сил. Так началось моё «преступление» против канонов профессиональной разработки. Инструментарий Чтобы превратить диван в рабочее место, мне понадобился стандартный набор для Termux: <cut />

    habr.com/ru/articles/1027400/

    #C #Termux #Android #Программирование #Логика #Консоль #DIY #Мобильная_разработка

  10. Пишем логический калькулятор, лёжа на диване: как Termux и Си заменяют IDE, когда лень вставать Говорят, для прог...

    #C #Termux #Android #Программирование #Логика #Консоль #DIY #Мобильная #разработка

    Origin | Interest | Match
  11. Логика как основа Мироздания

    Интерес к "Науке логики" Гегеля сегодня растёт. И это происходит не из-за ностальгии по классике. Он растёт потому, что мы, наконец, получили инструменты, чтобы услышать то, что Гегель пытался сказать двести лет назад. Его философию восприняли в своё время как метафизические домыслы и туманные спекуляции, но, как мне кажется, там была в действительности строгая структура, которая описывает то, как вообще возможно существование чего бы то ни было. Парадокс в том, что главная книга Гегеля до сих пор отпугивает даже подготовленного читателя. Не потому, что она "устарела". А потому, что Гегель пытался словами описать то, что сегодня мы формулируем на языке квантовой теории, теории информации и вычислительных моделей. Он не имел доступа к этим понятиям, но интуитивно нащупывал ту же самую реальность.

    habr.com/ru/articles/1027204/

    #философия #философия_науки #философия_разума #диалектика #диалектическая_логика #гегель #научнопопулярное #научпоп #логика #логика_мышления

  12. В каком контексте возникла теорема о неполноте Гёделя, и почему она так важна?

    Давайте перенесемся мысленно в начало двадцатого века. Ньютон давно уже вывел многие механические законы и описал бесконечность на формальном языке интегрального и дифференциального счисления. Дарвин давно уже опубликовал теорию о происхождении видов. В Новом Свете отцы-основатели написали Конституцию США, и уже сто лет американцы живут зажиточно и относительно мирно, благодаря принципам, которые в ней заложены. Человек своим умом нащупал законы живой природы, законы материи, законы человеческого сосуществования. Нет таких задач, которые не покорились бы человеческому разуму. Вся просвещенная Европа смотрит в будущее с огромным оптимизмом.

    habr.com/ru/articles/1025136/

    #Гёдель #Рассел #ТНГ #20й_век #математика #теория #логика #множества #парадокс

  13. Зачем вообще нужен Гегель и его диалектика в эпоху квантовой неопределенности?

    Иногда в философских дискуссиях у моих собеседников проскальзывает мысль: "Зачем нам Гегель, если есть математическая логика, теория информации, машинное обучение?" Вопрос справедливый. Если мир описывается уравнениями, а прогнозы строятся на данных, то что может добавить философия двухвековой давности? Ответ короче, чем кажется: Гегель нужен не вместо современной науки, а вместе с ней. Его логика - это не альтернатива формальным системам, а инструмент для работы с тем, что эти системы по определению не могут охватить целиком: с процессами, с развитием, с парадоксами, которые возникают не из-за ошибки в расчётах, а из-за самой структуры реальности.

    habr.com/ru/articles/1020798/

    #философия #философия_науки #научнопопулярное #научпоп #научный_метод #логика #логика_мышления #диалектика #диалектическая_логика #гегель

  14. «Сожжение за ересь» в цифровую эпоху: почему ИИ не новый римский папа, а просто очень большая Википедия

    Попытка обсудить использование LLM для анализа текстов на одном религиозном форуме закончилась быстрым блокированием и удалением темы. Статья задаётся вопросом: почему нейросети воспринимают как угрозу духовному руководству, а не как инструмент вроде словарей? Это приглашение к разумному диалогу на стыке технологий и мировоззрения. Под катом — исторические параллели, Августин, инквизиция, практический тест для читателей и честный разговор о страхах перед новым.

    habr.com/ru/articles/1019480/

    #искусственный_интеллект #nlp #критическое_мышление #анализ_данных #llm #логика #библеистика #humanintheloop #экзегеза #групповой_анализ_ии

  15. [Перевод] Что открыл Гёдель

    В 1931 году 25-летний Курт Гёдель написал доказательство, которое перевернуло мир математики с ног на голову. Выводы были настолько поразительными, а само доказательство настолько изящным, что это было… как-то даже забавно. Я хотел поделиться с вами его открытием. Объединение На протяжении последних 300 лет математики и ученые делали поразительные открытия, которые привели к появлению одной великой закономерности. Эта закономерность заключалась в объединении: идеи, которые раньше считались разрозненными и непохожими, неизменно оказывались одним и тем же! Ньютон положил начало этому процессу в физике, когда обнаружил, что то, что удерживает нас на Земле, — это то же самое, что заставляет Землю вращаться вокруг Солнца. Люди думали, что тепло — это особый вид энергии, но оказалось, что его можно объяснить с помощью механики. Люди думали, что электричество, магнетизм и свет — это разные вещи, но Максвелл обнаружил, что их можно объяснить с помощью электромагнитного поля.

    habr.com/ru/articles/1017176/

    #курт_гёдель #теорема_о_неполноте #математика #логика #lisp #теория_вычислимости #алгоритмы #основы_программирования

  16. Линтер для теологии, или Как ансамбль LLM провел статический анализ библейского текста (кейс 1 Тим. 2:15)

    Можно ли использовать ансамбль LLM как статический анализатор для богословского текста? В эксперименте пять языковых моделей проверили логическую устойчивость двух competing интерпретаций 1 Тим. 2:15. Результат — не истина, а прозрачная формализация неявных допущений. Метод применим к юриспруденции, истории и техдокументации.

    habr.com/ru/articles/1015070/

    #Искусственный_интеллект #NLP #критическое_мышление #Анализ_данных #LLM #Логика #Библеистика #Humanintheloop #экзегеза #групповой_анализ_ИИ

  17. Линтер для теологии, или Как ансамбль LLM провел статический анализ библейского текста (кейс 1 Тим. 2:15) Можно л...

    #Искусственный #интеллект #NLP #критическое #мышление #Анализ #данных #LLM #Логика #Библеистика #Human-in-the-loop

    Origin | Interest | Match
  18. Почему норка лучше кроат: разбираем Wordle с помощью энтропии и Excel

    В Wordle принято начинать с «хороших» слов – с частыми гласными и согласными. Однако анализ показывает, что менее очевидные варианты иногда дают больше информации. Возникает простой, но неудобный вопрос, можно ли доказать, что одно стартовое слово лучше другого. Краткий ответ – да. Я рассмотрел Wordle как задачу теории информации и количественно оценил каждый ход, используя Excel и официальный словарь игры. Эту статью я публикую в блоге ЛАНИТ, чтобы обсудить полученные результаты с техническим сообществом.

    habr.com/ru/companies/lanit/ar

    #ЛАНИТ #комбинаторика #теория_информации #логика #игры #Wordle #головоломка #логические_игры #слова #алгоритмы

  19. Думскролинг и бесконечное чтение новостей (КПТ, улитки и моделирование в Excel)

    По ряду причин последнее время это стало проблемой. Бесконтрольное потребление новостей на фоне повышающейся тревожности. И вроде как мы все понимаем, что надо прекратить читать эти новости и бесконечные телеграм-каналы, так как это не приносит нам никакой пользы и разрушает нашу психику. Но нет. Остановиться мы не можем. Хотя очень хотим. Почему же так получается? Давайте разбираться.

    habr.com/ru/articles/982732/

    #психология #думскроллинг #таймменеджмент #таймкиллеры #зависимость_от_смартфонов #кпт #логика

  20. Калибровка. Технотриллер о том, к чему приводит слепая оптимизация

    Привет, Хабр! Я написал повесть, вдохновленную идеями одного известного мысленного эксперимента. Не могу сказать конкретнее иначе заспойлерю, но ценители Hard Si-Fi, думаю быстро поймут о чём речь. Хочу поделиться этой повестью с вами, ведь системщики и программисты, а так же люди ценящие железную логику - это моя целевая аудитория. О чем это: Артур Корбин, системный инженер, нашел странную строку в отчёте. По сути пустяк 20 кг. проволоки для организации перемалывающей тонны материалов в день - статистическая погрешность. Но Артур, человек привыкший к порядку, решил разобраться. И это решение превращает его жизнь в параноидальный кошмар. Это история о том, как инструменты могут стать хозяевами, а свобода воли — статистической погрешностью.

    habr.com/ru/articles/1001218/

    #научная_фантастика #искусственный_интеллект #hard_scifi #технотриллер #повесть #оптимизация #системная_инженерия #будущее #логика

  21. Детские книги про данные, логику и визуализацию

    Мне пришлось изучать мир детских книг по работе с данными, когда мы с товарищем начали писать свою книжку. На удивление, на русском языке подобных книг не так много. Но как прекрасно, что часть зарубежных уже переведена на русский! Жаль, что не все! Давайте покажу вам самые занятные мои находки, сгруппирую их по темам и отсортирую по рекомендуемым возрастам.

    habr.com/ru/articles/995248/

    #детские_книги #графики #визуализация_данных #работа_с_данными #логика #логическое_мышление #книги

  22. Командная строка: путь к развитию логического мышления у детей

    Боков Фёдор, Security Vision Совсем недавно я стал отцом, конечно, такое событие перевернуло мой мир с ног на голову. Теперь я по-другому смотрю на вещи: на развивающие игрушки, книжки с картинками и, как ни странно, на экран своего компьютера. Работая в Security Vision, и обращая внимание на ее инициативу по обучению детей основам технологий с самого юного возраста, я начал задумываться о том, какие инструменты помогут моему ребёнку не просто пользоваться технологиями в будущем, но и понимать их, мыслить структурно и логически. И мой взгляд упал на, казалось бы, самый скучный и старомодный инструмент — черное окно командной строки. Многие видят в нем атрибут хакера из фильма или сложный инструмент для айтишников, но мне кажется, что это идеальная песочница для развития молодого ума. Это цифровой аналог конструктора Lego: максимум возможностей для сборки собственных идей из базовых кирпичиков-команд. Возможно, опытному ИТ-специалисту примеры ниже покажутся простыми. Создать папку, переименовать файл — что в этом такого? Но здесь вся магия кроется не в сложности команды, а в том, как вы ее преподнесете. Для ребенка, который никогда не задумывался, как устроен компьютер, любое действие в командной строке — это волшебство. И ваша задача — стать для него проводником в этот мир, превратив изучение в совместную игру. Эти задания ограничены лишь вашим воображением: сегодня вы создаете цифровой зоопарк, а завтра — каталог космических кораблей или карту сокровищ. Ребенку интересно почти все, если делать это вместе с родителем.

    habr.com/ru/companies/security

    #linux #обучение #обучение_детей #развитие_детей #мышление #логика

  23. При обсуждениях или дебатах на религиозные темы часто всплывает одна из важнейших тем - Проблема Зла.
    ru.wikipedia.org/wiki/Проблема

    Кратко: как может существовать так много страданий, часто причиняемых друг-другу людьми, при наличии всемогущего, всевидящего и вселюбящего бога?

    И чаще всего верующие объясняют это свободой воли. То есть, якобы бог дал нам всем свободу воли, причём до такой степени, что запретил себе вмешиваться даже в случае мировых войн и массовых изнасилований.

    Но когда верующие говорят о свободе воли они всегда забывают о том, что по их же мнению у бога для каждого есть план!

    Как же это работает, когда у всех есть свобода воли, но для каждого есть план?

    #религия #бог #философия #логика

  24. Копенгагенская интерпретация Квантовой физики и объективная реальность

    Говорят, что дихотомия идеализма и материализма уже неактуальна для современной науки, так как реальность оказалась настолько сложнее и интереснее простых схем, что уже практически не вписывается ни в одну из прежних больших философских парадигм. Так и чем же оказалась реальность с точки зрения самой фундаментальной на данный момент теории - Квантовой механики - и её наиболее распространенной (пока) интерпретации - Копенгагенской? В данной статье я вряд ли отвечу на этот вопрос, но хочу скорее поговорить о тех странностях, которые я искренне не могу понять в Копенгагенской интерпретации. История науки, как говорит А.М. Семихатов, это борьба против здравого смысла. И это нормально. Это я могу понять. Но когда наука начинает бороться с самой логикой и этого, как кажется никто не замечает и всех всё устраивает, вот эту же действительно странно.

    habr.com/ru/articles/987084/

    #физика #квантовая_физика #квантовая_механика #копенгагенская_интерпретация #логика #научнопопулярное #научпоп #философия #философия_науки #парадоксы

  25. Еще раз о симметрии кубика Рубика. «Зеркало» двусторонних MDSI-паттернов

    Это статья является дополнением к большому материалу Симметрия кубика Рубика , где я рассказывал о своем методе сборки зеркальных двусторонних инверсивных паттернов Mirror Dual-Sided Inverse (MDSI) на кубике Рубика. Я посчитал нужным дополнительно объяснить, как эвристически искал доказательство того, что возможно на противоположных сторонах кубика Рубика собрать любой (2-, 3-, 4-, 5- и 6-цветный) MDSI паттерн. Для этого я ввел понятие «зеркало» для среднего слоя, который отражает противоположные стороны и применил правило четности пермутаций . Крутить кубик Рубика...

    habr.com/ru/articles/983550/

    #кубик_рубика #двусторонняя_мозаика #симметрия #дизайн #теория_групп #мозаика_из_кубиков_рубика #рубиккубизм #головоломки #занимательные_задачи #логика

  26. Сервисы — место, где живет бизнес-логика

    Сервисы — место, где живет бизнес-логика Здравствуйте! Идея написать эту статью пришла мне в голову абсолютно спонтанно. Я работаю в компании и, так сложилось, что нас имеет мы имеем DRF монолит на писят два миллиона строк кода. И вот однажды, чью-то светлую голову посетила мысль — « а давайте писать код одинаково » . Идея прозвучала чертвоски просто и соблазнительно. С этого момента мы завели себе ишака по имени « Django Service Layer », и все дружно начали на него наваливать. Теперь навалю и вам. Би-бу-бип.

    habr.com/ru/articles/981950/

    #python #сервисный #слой #сервисы #сервис #service #layer #бизнес #логика #django

  27. Машина, которая никогда не останавливается: как одно предложение поставило предел человеческому познанию

    Аннотация В 1936 году Алан Тьюринг, пытаясь формализовать пределы вычислений, сформулировал вопрос, навсегда изменивший не только компьютерную науку, но и наше понимание границ познания. Этот вопрос — известная как «Проблема остановки» — звучит обманчиво просто: можно ли создать алгоритм, который, анализируя код любой программы и её входные данные, заранее и безошибочно определит, завершится ли её работа или же она уйдёт в бесконечный цикл? Казалось бы, речь идёт о чисто технической задаче, мечте каждого программиста об идеальном отладчике. Однако ответ Тьюринга, уместившийся в элегантное и почти язвительное доказательство от противного, оказался оглушительным: нет, такой алгоритм принципиально невозможен. В этой статье мы не только разберём суть этого гениального доказательства, которое построено на самореференции и логическом парадоксе, подобном «лжецу», но и визуализируем его ход с помощью наглядного кода в MATLAB, превратив абстрактную логику в динамическую демонстрацию. Мы увидим, как гипотетическая «всезнающая» программа H неминуемо запутывается в сетях, расставленных специально сконструированной программой-провокатором , приводя к неразрешимому противоречию в любом исходе. Это открытие — не просто академическая курьёзность. Оно устанавливает фундаментальный, алгоритмический предел: существуют чётко поставленные вопросы, на которые мы никогда не получим однозначный «да» или «нет» от любой вычислительной машины. Мы проследим глубокую связь этого результата с теоремой Гёделя о неполноте, обсудим другие неразрешимые проблемы, такие как проблема соответствия Поста, и затронем трезвые последствия для современной разработки, верификации программ и даже для мечтаний о создании всесильного искусственного интеллекта. Эта история — о том, как осознание непреодолимой границы стало одним из самых мощных интеллектуальных достижений человечества, чётко очертив то, что мы можем знать, и указав на бескрайние области того, что мы знать не в силах.

    habr.com/ru/articles/981908/

    #Проблема_остановки #Алан_Тьюринг #Неразрешимость #Машина_Тьюринга #Доказательство #Самореференция #Пределы_вычислений #Теорема_Гёделя #matlab #логика

  28. Как победить в игре «Быки и коровы» с помощью теории информации

    Я поступил в институт в 1978 году, когда игра «Быки и коровы» была на пике популярности. В серии игр никто не мог меня победить, а все благодаря относительно несложному алгоритму, разработанному мною на основе теории информации. Изучив современные источники, я не нашел среди них чего-то похожего на мой подход. Поэтому я решил поделиться своей стратегией в блоге ЛАНИТ, чтобы обсудить его с техническим сообществом.

    habr.com/ru/companies/lanit/ar

    #ЛАНИТ #комбинаторика #быки_и_коровы #теория_информации #логика #игры

  29. GPT-5 vs Claude Opus 4.5 vs Gemini 3 Pro: битва reasoning-моделей. Кто победил в 2025?

    Доброго времени суток, «Хабр»! Год близится к завершению, и за это время мы получили в распоряжение множество вполне достойных моделей. Взять хотя бы тот факт, что в ближайшее время ожидается выход новой версии GPT. К тому же, после моей предыдущей статьи о Claude Opus 4.5 родилась идея: почему бы не устроить состязание среди лидирующих сейчас текстовых моделей? Сегодня в битве участвуют: GPT-5, Claude Opus 4.5 и Gemini 3 Pro. Делайте ставки, а я приступаю к сравнению.

    habr.com/ru/companies/bothub/a

    #gpt #claude #gemini #ии #нейросеть #ai #сравнение #2025 #программирование #логика

  30. #вопрос #слово #смысл #логика
    Доброго дня, у меня вопрос дня!
    Дано:
    Люди совершающие полеты в космос. Полеты на МКС или другие космические миссии.
    Есть два слова означающих одно и то-же (казалось бы) - синонимы, в текущем контексте. Но есть нюанс.
    Вопрос:
    Как они называются, правильно, Космонавт или Астронавт? Почему?

  31. 📊 Джон Венн (1834–1923): человек, нарисовавший логику

    #венн #математика #логика #диаграмма

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

    Венн родился в Йоркшире, в религиозной семье. Его мать умерла, когда ему было три года, а отец был приходским священником. Сначала Джон шёл по стопам семьи: окончил Кембридж, стал магистром математики, а затем был рукоположен в сан. Он служил в приходах, но вскоре вернулся в университет преподавать моральные науки и занялся логикой и теорией вероятностей.

    В 1881 году он опубликовал диаграммы, которые позже назовут его именем. А уже через два года Венн отказался от сана — его философские взгляды больше не совпадали с религиозной доктриной.

  32. Давайте разберем это утверждение по частям и проведем фактчекинг на основе логики, доступных данных и здравого смысла, так как оно содержит множество специфичных деталей, которые выглядят крайне сомнительными.
    ### 1. *"160 000 кустов Cannabis Opercularis сметены ураганом Карин и сметены в море"*
    - **Cannabis Opercularis**: Нет никаких свидетельств существования вида "Cannabis Opercularis". Каннабис (Cannabis) включает известные виды, такие как Cannabis sativa, Cannabis indica и Cannabis ruderalis, но "Opercularis" не упоминается в ботанической литературе или научных источниках. Это, скорее всего, вымышленное название.
    - **Ураган Карин**: На апрель 2025 года нет зарегистрированного урагана с именем "Карин" (или Karin), который бы обрушился на штат Мэн. Имена ураганов в Атлантическом бассейне определяются Всемирной метеорологической организацией, и "Karin" не входит в список активных или прошлых имен (например, в 2024 году были такие имена, как "Helene" или "Milton", но не "Karin"). Возможно, это вымышленное событие или путаница с другим ураганом.
    - **160 000 кустов сметены в море**: Мэн не является регионом, известным массовым выращиванием каннабиса на открытом воздухе в таких масштабах (160 000 кустов — это огромная цифра, эквивалентная крупной коммерческой плантации). Легальный каннабис в США обычно выращивается в контролируемых условиях, а не в дикой природе, где его мог бы унести ураган. К тому же география Мэна (береговая линия, леса) делает такой сценарий маловероятным.
    **Вывод**: Эта часть утверждения кажется вымышленной. Нет данных об урагане "Карин" или виде "Cannabis Opercularis", а масштаб и обстоятельства события нереалистичны.
    ### 2. *"Егерская служба штата Мэн пытается на вертолетах пресечь 'утекание' 'косяка' растений в Канаду морем"*
    - **Егерская служба штата Мэн**: В штате Мэн нет организации, официально называемой "Егерская служба". Возможно, имеется в виду Maine Warden Service (Служба охраны природы Мэна), которая занимается охраной дикой природы, рыболовством и охотой. Однако их задачи не включают преследование "утекающих" растений на вертолетах.
    - **Пресечь "утекание" в Канаду морем**: Идея, что растения плывут по морю в Канаду, а служба пытается это остановить с помощью вертолетов, звучит абсурдно. Каннабис не обладает плавучестью, чтобы "уплыть" в значительных количествах, а граница США и Канады в этом регионе частично проходит по суше и рекам (например, река Сент-Круа), но не предполагает массового "утекания" растений через залив Мэн.
    **Вывод**: Этот пункт не имеет оснований в реальности. Служба охраны природы Мэна не занимается такими операциями, и сам сценарий физически неправдоподобен.
    ### 3. *"Один вертолет упал с экипажем в море. Предположительно это Ми-8 в экспортном варианте, закупленным для ВС Афганистана и единственный эвакуированный при наступлении талибов на Кабул во время правления президента Байдена"*
    - **Крушение вертолета**: На апрель 2025 года нет сообщений о крушении вертолета в штате Мэн, связанном с каннабисом или "Егерской службой". Любое крушение вертолета в США, особенно с жертвами, получило бы широкое освещение в СМИ, но таких данных нет.
    - **Ми-8 в экспортном варианте**: Ми-8 — советский/российский вертолет, действительно поставлявшийся в Афганистан в советский период и позже. Однако США не закупали Ми-8 для афганских вооруженных сил в значительных количествах. Афганская армия использовала преимущественно американскую технику (например, UH-60 Black Hawk) или старые советские вертолеты, оставшиеся с 1980-х. Идея, что один конкретный Ми-8 был "единственным эвакуированным" при наступлении талибов, не подтверждается фактами.
    - **Эвакуация при Байдене**: Во время вывода войск США из Афганистана в августе 2021 года (при президенте Байдене) американцы эвакуировали людей и часть техники, но основной упор делался на уничтожение или передачу оборудования афганским силам. Нет доказательств, что один Ми-8 был вывезен в США, а затем оказался в Мэне для "пресечения утекания каннабиса".
    **Вывод**: Утверждение о Ми-8 не соответствует историческим данным об афганской эвакуации и текущим событиям в Мэне. Это, скорее всего, вымысел.
    ### 4. *"Трамп подписал указ начать расследование в отношении экс-президента"*
    - **Трамп и указ**: На 1 апреля 2025 года Дональд Трамп является президентом США (второй срок начался в январе 2025 года после победы на выборах 2024 года). Президент имеет право издавать указы, но расследование в отношении экс-президента (Байдена) потребовало бы юрисдикции Министерства юстиции, а не прямого указа. Нет публичных данных о том, что Трамп подписал указ о расследовании Байдена по этому конкретному поводу.
    - **Контекст**: Трамп неоднократно критиковал Байдена за вывод войск из Афганистана, называя его "катастрофой". Однако связать это с вымышленным крушением Ми-8 в Мэне — натяжка, не подкрепленная фактами.
    **Вывод**: Нет подтверждений такого указа на текущий момент. Это может быть гипотетическим или вымышленным элементом.
    ### 5. *"Маск с спецуполномоченными DOGE получил письменное предписание текущего президента"*
    - **Маск и DOGE**: Илон Маск связан с DOGE (Department of Government Efficiency), неофициальной группой, созданной при администрации Трампа для сокращения госрасходов. Однако DOGE не является официальным федеральным ведомством, а скорее консультативной инициативой.
    - **Письменное предписание**: Нет данных о том, что Маск или DOGE получили предписание от Трампа, связанное с каннабисом, вертолетами или Афганистаном. Деятельность DOGE сосредоточена на экономии бюджета, а не на таких специфичных операциях.
    **Вывод**: Эта часть также не подтверждена и выглядит как вымысел или сатира.
    ### Общий вывод
    Утверждение представляет собой смесь вымышленных и абсурдных элементов:
    - "Cannabis Opercularis" и ураган "Карин" не существуют.
    - "Егерская служба" не занимается преследованием "утекающих" растений.
    - История с Ми-8 не соответствует реальности эвакуации из Афганистана.
    - Нет доказательств указа Трампа или предписания Маску по этому поводу.
    Это утверждение, скорее всего, является выдумкой, возможно, сатирой или дезинформацией. Никаких следов этих событий в реальных источниках на 1 апреля 2025 года нет. Если у вас есть конкретный источник этого утверждения, предоставьте его для дополнительной проверки!

    #Хэштеги: #Фактчекинг #Логика #Дезинформация #Мифы #РазборФейков #КритическоеМышление #Анализ #osint

  33. #NeuralNetwork #FAIL #логика
    Промпт: Выбери правильный ответ в задаче на формальную логику:

    Задача:
    Если запырку отравить, то она сразу начнет пускать пузыри.
    a. если запырка пускает пузыри, то она была отравлена;
    b. если запырку не отравить, то она не будет пускать пузыри;
    c. если запырка не пускает пузыри, то она не отравлена.

    #ChatGPT:
    Правильный ответ: c. если запырка не пускает пузыри, то она не отравлена.

    Пояснение:

    В условии сказано, что если запырку отравить, то она начинает пускать пузыри. Это означает, что отравление обязательно вызывает пузыри, но обратное утверждение (пузыри только от отравления) не гарантировано.

    Следовательно, если запырка не пускает пузыри, то она точно не была отравлена.

    #Клавдия:
    Правильный ответ: a. если запырка пускает пузыри, то она была отравлена.

    Данная задача на формальную логику представляет собой утверждение в форме импликации: "Если запырку отравить, то она сразу начнет пускать пузыри." Это означает, что если запырка пускает пузыри, то она была отравлена. Другими словами, наблюдение того, что запырка пускает пузыри, является достаточным условием для того, чтобы сделать вывод, что она была отравлена.

    Варианты b и c не являются правильными, поскольку они не следуют напрямую из исходного утверждения.

    #LeChatMistral:
    Для решения этой задачи на формальную логику, давайте рассмотрим исходное утверждение:

    "Если запырку отравить, то она сразу начнет пускать пузыри."

    Это утверждение можно записать в виде логической импликации:
    [ P \rightarrow Q ]
    где ( P ) — "запырку отравить", а ( Q ) — "она сразу начнет пускать пузыри".

    Теперь рассмотрим варианты ответов:

    a. если запырка пускает пузыри, то она была отравлена;
    [ Q \rightarrow P ]
    Это утверждение не является логически эквивалентным исходному утверждению.

    b. если запырку не отравить, то она не будет пускать пузыри;
    [ \neg P \rightarrow \neg Q ]
    Это утверждение является контрапозицией исходного утверждения и является логически эквивалентным исходному утверждению.

    c. если запырка не пускает пузыри, то она не отравлена.
    [ \neg Q \rightarrow \neg P ]
    Это утверждение является контрапозицией исходного утверждения и также является логически эквивалентным исходному утверждению.

    Таким образом, правильный ответ:
    b. если запырку не отравить, то она не будет пускать пузыри.

    #GigaChat:
    Правильный ответ: c. Если запырка не пускает пузыри, то она не отравлена.

    Это утверждение является контрапозицией исходного утверждения "Если запырку отравить, то она сразу начнет пускать пузыри".

  34. #цитатник #логика #гендерное

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

  35. #Тест на формальную логику. Да, тот самый, со Шмурдиками, Уузками и больными мухопендриями. testoteka.narod.ru/pozn/1/10-o #логика

  36. #Хабр #логика #цитатник
    Тут есть одна тонкость: все зависит в какой логике мы работаем. Например в математической логике для, так называемой, импликации Фреге не нужна смысловая зависимость. Чтобы связать импликацией два высказывания нужно просто, чтобы они выражали какое-нибудь свойство, т.е. были бы отношениями. Еще проще нужно, чтобы можно было бы сказать ложны они или истинны. И истиностная таблица импликации позволяет строить совершенно дикие, на обычный взгляд, истинные следствия. Например из предложения "Жириновский дочь Сталина" следует, что "Обама внук Пушкина" - и это истинное следствие. И это обычная, классическая, математическая логика. Но в мире еще множество всяких диковинных логических систем.

    habr.com/ru/companies/otus/art

Share on Mastodon

Enter the server where you have an account.