IIchan Archives — Бред

Файл: -(313 KB, 744x417)

Что-то, что может быть вам знакомо: комбинаторика, типа, теоремы-перебор, игра-головоломка Сырно Пт 12 августа 2016 06:17:56 No.4144123

Доведение до абсурда идеи >>4137828, странный способ определения или изощренный пазл.

Нужно взять случай определяемого понятия (шах: ладья напротив короля) и создать условия, в которых только такой случай и будет возможен. В которых понятие приравняется к более общему (ладья напротив короля = ладья где угодно) или другому.

Шах — король и ладья на доске 1x2, два короля и ладья на доске 2x2 (три короля и слон, король и три слона), любой ход ладьи на доске 2x2.
Мат — король и две ладьи на 1x3.
Вскрытый шах — ход-мат на Г-образной доске со слоном и ладьёй.
Редкий шах — шах ладьёй на поле из трёх клеток. Редкий шах даёт съедающая ладья или битая королём ладья. Таким образом удаётся ударить по полям на разных линиях без того чтобы одно из полей было бито заранее.

>>	Сырно Пт 12 августа 2016 06:54:12 No.4144134 Ты опять выходишь на связь, няша?

>>	Сырно Пт 12 августа 2016 07:25:08 No.4144141 На лечение еще не собрали деньги? Куда скидывать?

>>	Сырно Пт 12 августа 2016 07:39:24 No.4144143 >>4144141 Мне, мне тоже нужно лечение!

>>	Сырно Пт 12 августа 2016 07:41:41 No.4144144 >>4144143 Ты тоже шизофазик? Ну тогда и тебе скину, создай только свой тред.

Сырно Пт 12 августа 2016 08:04:36 No.4144147

>>4144123
Зачем обязательно вся эта повёрнутость на задачах? Ну сиди и читай про своё необходимое и достаточное, зачем мозги парить? Тебе говорят -- формальная логика, как наука, после внесения в неё кванторов, может считаться завершённой. Дальше, всё остальное, включая информатику это приложения логического аппарата к конкретной проблеме. Если тебя так интересуют шахматы -- то тебе не в логику надо копать, а в "шахматах для самых маленьких". Если логика -- тебе остаётся только читать.
Тот последний кун, что ещё пытался прочитать твои посты в прошлом треде

Сырно Сб 13 августа 2016 06:37:15 No.4145078
Файл: -(88 KB, 600x596)

>>4144147 Судя по упоминанию необходимых и достаточных, это был не самый последний прошлый тред!

Анону, говорившему о том, что описание пазлов сводимо к символьной логике, хотел передать, что не возражаю (тогда я, возможно, неправильно понял его слова: не как банальную констатацию того, что какой-то формальный способ где-то есть). Но тогда речь просто не о новой логике, а о способе применения старой. (такими словами немного нарываюсь на посыл читать) И классифицировать всё равно надо.

Это буквально вопрос парадигмы (философии применения и представления) и того как ассемблер поможет высокоуровнему мышлению.

>Зачем обязательно вся эта повёрнутость на задачах?

Пазлы это уже хотя бы жанр компьютерных игр. Язык описания пазлов позволяет выпустить шедевр, изменить или закрыть жанр. Повышается интеллект игроков, они умеют решать, составлять и запоминать пазлы. Здравствуй генерация пазлов, решающий пазлы AI. Язык описания пазлов является практически универсальным языком ("объяснение условий" — это спор, идеи и тонкости словоупотребления, физические гипотезы, паттерны и тесты на IQ). За пазлами механики, за механиками моделирование...