- непротиворечивая формализация
- мат. consistent formalization
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
Метаматематика — теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… … Большая советская энциклопедия
АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… … Математическая энциклопедия
Аксиоматический метод — способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… … Большая советская энциклопедия
ГИЛЬБЕРТ — (Hubert) Давид (род. 23 янв. 1862, Кенигсберг – ум. 14 февр. 1943, Гёттинген) – нем. математик и логик, профессор в Гёттингене с 1895 по 1936. Создал основополагающие работы по аксиоматике геометрии, арифметики и физики, в которых пытался… … Философская энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
НЕПРОТИВОРЕЧИВОСТЬ — свойство формальной системы, состоящее в том, что не каждая формула этой системы доказуема в ней. Формальные системы, обладающие этим свойством, наз. непротиворечивым и, или формально непротиворечивым и. В противном случае формальная система наз … Математическая энциклопедия