Вы здесь

  • Так как системная технология представляет собой эмпирическую науку, то сформулированный ниже комплекс принципов допускает трансформацию и трансфиницию на пути построения системы аксиом технологий, удовлетворяющей требованиям непротиворечивости, независимости, истинности, интерпретируемости, полноты, замкнутости и др.
  • Формальная система (БСЭ) — неинтерпретированное исчисление, класс выражений (формул) которого задаётся обычно индуктивно — посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) — посредством задания системы аксиом и правил вывода (преобразования) теорем из аксиом и уже доказанных теорем.
  • Приведённый ниже комплекс принципов развития целостного инженеринга допускает трансформацию и трансфиницию на пути построения системы аксиом, удовлетворяющей требованиям непротиворечивости, независимости, истинности, интерпретируемости, полноты, замкнутости и др.
  • Карнап сформулировал так называемый принцип терпимости, утверждающий, что в основу каждой естественнонаучной теории можно положить любую систему аксиом и правил синтаксиса.
  • Приведённый ниже комплекс принципов развития системного управления допускает трансформацию и трансфиницию на пути построения системы аксиом, удовлетворяющей требованиям непротиворечивости, независимости, истинности, интерпретируемости, полноты, замкнутости и др.
  • Они делали важное дело: в каждом новом направлении исследований находили самое главное, то что составляет суть предметной области и позволяет начать исследования этой сути, образуя первые островки уверенно познанного в виде системы взаимно-выверенных утверждений — системы аксиом.
  • При аксиоматическом подходе не даётся явного развёрнутого определения понятия вероятности, но оно задаётся через систему аксиом примерно так же, как алгебраические неизвестные определяются системой алгебраических уравнений.
  • Гильберт: исходные (первичные) понятия геометрии — точку, прямую, расстояние, плоскость — стали определять неявным образом и совместно через систему аксиом геометрии (через любые две точки можно провести прямую, причём только одну; две прямые могут пересекаться только в одной точке, и т. д.).