Cтраница 4
Как же соотносятся формальная теория и математические модели функционирования СОИС. [46]
Пусть Т - непротиворечивая формальная теория, содержащая арифметику. [47]
В формулы этой формальной теории входят три постоянные: время релаксации - и величины f и f ( /); последние определяются характером зависимости энергии граничного слоя от координат и времени. [48]
Таковы пролегомены; формальной теории пока представить невозможно. Но несколько замечаний о стохастических играх, которые нам довелось изучать, могут представить определенный интерес. Мы рассмотрим три отдельные группы. [49]
Параллельно с развитием формальной теории В. [50]
Строгая логика отношений формальной теории повышает объективность выводов содержательного описания, делает более доказательными его утверждения. Язык формальной теории со своей специфической структурой, строгой логикой выводов, четкостью и однозначностью понятий является ценным орудием мышления, позволяющим с неожиданной стороны взглянуть на предмет исследования и получить новые результаты, которые были бы невозможны в рамках содержательного описания. [51]
Каждая из указанных выше формальных теорий имеет определ. Конструктивное направление, Логицизм, Математическая бесконечность, Математическая логика, Метод аксиоматический, Минимальная логика, Номинализ. [52]