Рубрика «логика»

Дисклеймер для модераторов и читателей. Да, мы продолжаем тему на стыке веры и технологий. Нет, автор не планирует основывать новую техноцерковь или заменять Святого Духа GPU-кластером. Просто далеко не везде об этом можно поговорить, а техничный Хабр позволяет обсуждать столь сложные вещи. Хорошо, что мы живём не в XVI веке (хотя у нас и своих забот хватает), и за оценку новых технологических возможностей максимум грозит, что какая-то добрая душа из местных охранителей заботливо принесёт горящий уголёк в карму минусов. Как видно, и на такое можно реагировать без негатива, а скорее с долей юмора.

Читать полностью »

В 1931 году 25-летний Курт Гёдель написал доказательство, которое перевернуло мир математики с ног на голову. Выводы были настолько поразительными, а само доказательство настолько изящным, что это было… как-то даже забавно. Я хотел поделиться с вами его открытием.

Объединение

На протяжении последних 300 лет математики и ученые делали поразительные открытия, которые привели к появлению одной великой закономерности. Эта закономерность заключалась в объединении: идеи, которые раньше считались разрозненными и непохожими, неизменно оказывались одним и тем же!

Читать полностью »

Дисклеймер. Эта статья не о религии. Речь пойдет о методе. Сложный богословский текст здесь выступает полигоном для проверки гипотезы: может ли ансамбль языковых моделей найти скрытые логические противоречия в человеческих интерпретациях?

Введение

Почему ИИ, а не очередной комментарий?

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

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

Читать полностью »

У меня в детстве была такой случай.
Дед выписывал много разных изданий, среди них были журналы "Вокруг света" и "Наука и жизнь". Мне было лет 6-7, дело было в начале 70х, я с удовольствием эти журналы листал. Непонятные статьи я пропускал, хотя всякие графики и схемы - завораживали, я их разглядывал с удовольствием и по-долгу. Самое вкусное - в обоих журналах были развороты с короткими заметками, их я непременно читал, там и была история, которая меня тогда потрясла.

Читать полностью »

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

 ***

Читать полностью »

Статья посвящена графической новелле «Логикомикс. Поиск истины» Апостолоса Доксиадиса — произведению о математике, логике, философии и человеческих драмах, возникающих вокруг стремлений обрести интеллектуальную опору.

Читать полностью »

https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js