Obsessive robot (bluxer) wrote,
Obsessive robot
bluxer

Category:
Формальная теория считается определенной, если:
1. Задано конечное или счётное множество произвольных символов. Конечные последовательности символов называются выражениями теории.
2. Имеется подмножество выражений, называемых формулами.
3. Выделено подмножество формул, называемых аксиомами.
4. Имеется конечное множество отношений между формулами, называемых правилами вывода.


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

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

  • (no subject)

    КАЧЕЛИ, КАРУСЕЛИ И ВЕЧНОЕ ВОЗВРАЩЕНИЕ Вечное возвращение — один из основополагающих и в то же время наименее проясненных концептов философии жизни…

  • (no subject)

    У кого есть страничка, тот знает, что "В контакте" предлагает "возможных друзей" через уже имеющихся. Если общий друг всего один, то это довольно…

  • К диалектике содержимого и содержащего

    У слова «содержание» есть странноватый синоним - «наполнение». Он немножко с привкусом современного канцелярита и новояза, которым разговаривают…

  • Post a new comment

    Error

    default userpic
    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 79 comments

  • (no subject)

    КАЧЕЛИ, КАРУСЕЛИ И ВЕЧНОЕ ВОЗВРАЩЕНИЕ Вечное возвращение — один из основополагающих и в то же время наименее проясненных концептов философии жизни…

  • (no subject)

    У кого есть страничка, тот знает, что "В контакте" предлагает "возможных друзей" через уже имеющихся. Если общий друг всего один, то это довольно…

  • К диалектике содержимого и содержащего

    У слова «содержание» есть странноватый синоним - «наполнение». Он немножко с привкусом современного канцелярита и новояза, которым разговаривают…