Синтаксическая Теорема
- теорема синтаксического языка, т. Е. Теорема о формализованной теории. Примеры С. Т. Теорема дедукции для исчисления предикатов, теорема Гёделя о неполноте арифметики. Эти теоремы относятся к элементарному синтаксису. Примером неэлементарной С. Т., то есть теоремы, доказательство к-рой существенно использует бесконечные совокупности, может служить теорема о непротиворечивости элементарной арифметики. В. Н. Гришин.
Дополнительный поиск Синтаксическая Теорема
На нашем сайте Вы найдете значение "Синтаксическая Теорема" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Синтаксическая Теорема, различные варианты толкований, скрытый смысл.
Первая буква "С". Общая длина 22 символа