deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

язык, аксиомы, теория

(неформальное пояснение)

Есть формальные записи цепочек символов и правила образования новых цепочек символов из первоначальных символов. Это называется язык.
На множестве допустимых (тех которые можно сгенерировать на данном языке согласно правилам) цепочек символов (далее сокращенно цепочка или список) этого языка можно выделять разные правила преобразования цепочек (правила вывода) и разные начальные цепочки (аксиомы), такой комплекс правил вывода и аксиом называется теорией.
То есть язык выделяет некоторое множество цепочек, а теория выделяет некоторое подмножество цепочек языка. Может так будет понятнее.
Subscribe

  • (no subject)

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

  • классификация наук

    классификация наук: естественные - физика, химия... неестественные - история, философия... противоестественные - истмат, диамат... сверхъестественные…

  • суббота

    а ты член армии? а хотел бы? Статус Кво: Теперь ты в армии. Status Quo - In the Army Now https://youtu.be/-CRdK7Sf0i0 не хочешь??? а у тебя есть…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 1 comment