метатеорема
11ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… …
12МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… …
13МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И …
14ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… …
15ПРЕДВАРЁННАЯ ФОРМА — нормальная форма представления формул предикатов исчисления, имеющая (в общем случае) вид: ФОРМА > где Qι (0 ≤ ι ≤ n) – квантор общности (∀) или существования (∃); (...) формула, не содержащая кванторов и находящаяся в области действия каждого… …
16ВЫВОДИМОЕ ПРАВИЛО — метаматематическая теорема (см. Метатеорема), позволяющая по конечному числу выводов из гипотез утверждать выводимость формулы из гипотез Г; выводы наз. вспомогательными выводами В. п., заключение наз. результирующим выводом. В. п. является… …
17ГЁДЕЛЬ Курт (1906 - 1978) — математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях математической логики, как теория… …
- 1
- 2