Obsessive robot (bluxer) wrote,
Obsessive robot
bluxer

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


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

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

Recent Posts from This Journal

  • (no subject)

    МЫСЛИТЬ СИСТЕМНО В самом начале трудового пути моим руководителем и наставником был один человек, который из военного инженера переучился на юриста.…

  • (no subject)

    Дверь как предостережение... ... о грядущей катастрофе. Лет 7 назад через дорогу вдоль моего дома шла активная стройка с забиванием свай. С тех пор…

  • (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

Recent Posts from This Journal

  • (no subject)

    МЫСЛИТЬ СИСТЕМНО В самом начале трудового пути моим руководителем и наставником был один человек, который из военного инженера переучился на юриста.…

  • (no subject)

    Дверь как предостережение... ... о грядущей катастрофе. Лет 7 назад через дорогу вдоль моего дома шла активная стройка с забиванием свай. С тех пор…

  • (no subject)

    Двойная фамилия - признак благородного происхождения или жалкого самомнения её носителя? Вопрос неоднозначный... :) Практична ли она? Похоже, что…