Prove You Can Win

Это игра-головоломка, основанная на логике и дедукции. В этой игре вы можете изучить и понять совершенно новую систему дедукции, а затем взять аксиомы и правила дедукции в качестве инструментов, чтобы доказать предложения, введя код.

Особенности:

Понимание аксиом и правил дедукции (как при чтении математической книги)

Введите код и докажите предложение (так же, как при решении математической задачи).

"Q.E.D.", "Eureka!", и попасть в следующий цикл

Элементы, которые могут расстраивать:

Хороших работ нет. (Это менее важно, чем остальные три).

Количество текста для чтения, и это требует немного понимания математики. (Играть в эту игру — это как читать учебник математики)

Единственный способ создать новый шаг доказательства — ввести правильный код, который не является ядром игры. (Это связано с ограниченными возможностями программирования)

Никакой таможенной функции. Доступны только аксиомы и правила дедукции. (Добро пожаловать в систему CLASSIC)

Если все они подходят для вас, то эта игра может подойти именно вам.

FAQ:

Вопрос: Для каких игроков игра в основном?

Если у вас есть опыт чтения математических книг и вы заинтересованы в логике, эта игра может вам понравиться.

В: Это тяжелая игра?

Ответ: Во-первых, сложность этой игры в основном связана с пониманием правил, и головоломку легко разгадать. Но проблема станет очень трудной, если вы продолжите играть. Чтение и понимание самих себя будут частью трудностей.

В: Вы вдохновляетесь чем-то при разработке этой игры?

Ответ: Эта игра вдохновлена математической логикой, в основном о естественном вычислении исчисления высказываний и исчисления предикатов первого порядка.

В: Сколько времени нужно, чтобы победить в игре?

A: Около 20–40 часов.

В: Есть ли разница между этой игрой и учебником по математике?

А: Ничего. И я просто позволю этому быть. Если некоторые игроки возражают против этого, я могу использовать «исполняемый файл» или «книгу упражнений» во время разговора с ними, а не «эту игру».