- метатеорема
- (1 ж); мн. метатеоре/мы, Р. метатеоре/м
Орфографический словарь русского языка. 2006.
метатеорема
Смотреть что такое "метатеорема" в других словарях:
метатеорема — метатеорема … Орфографический словарь-справочник
метатеорема — сущ., кол во синонимов: 1 • теорема (5) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
Метатеорема — (от Мета... теорема относительно объектов (понятий, определений, аксиом, доказательств, правил вывода, теорем и др.) какой либо научной теории (т. н. предметной, или объектной, теории), доказываемая средствами метатеории (См. Метатеория)… … Большая советская энциклопедия
МЕТАТЕОРЕМА — утверждение об изучаемой формальной аксиоматич. теории, полученное в рамках определенной метатеории. А. Г. Драгалин … Математическая энциклопедия
метатеорема — метатеор ема, ы … Русский орфографический словарь
теорема — См … Словарь синонимов
Бочаров, Вячеслав Александрович — (р. 13.12.1937) спец. по логике; д р филос. наук, проф. Род. в Москве. В 1965 окончил филос. ф т МГУ. С 1966 работает на кафедре логики филос. ф та МГУ, с 1990 проф. этой кафедры. Канд. дисс. "Силлогистика без экзистенциальных… … Большая биографическая энциклопедия
Меськов, Валерий Сергеевич — (р. 16.10.1947) спец. по логике и методол. науки; д р филос. наук, проф. Окончил филос. ф т МГУ (1970), асп. того же ф та (1973). Работал там же на кафедре логики асс., ст. преп., доц. С декабря 1988 зам. нач. Управления соц. гума нит.… … Большая биографическая энциклопедия
Метатеория — (от Мета...) теория, анализирующая структуру, методы и свойства какой либо другой теории т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М.… … Большая советская энциклопедия
ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… … История Философии: Энциклопедия
