- гёделевский
- adj. Gdel
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
гёделевский
Смотреть что такое "гёделевский" в других словарях:
Делевский, Ю. — сотр. журн. "Современник" 1912 г., авт. статей по философ. {Венгеров} … Большая биографическая энциклопедия
Юделевский, Яков Лазаревич — Яков Лазаревич Юделевский Имя при рождении: Янкель Лейзерович Юделевский Дата рождения: 1868 год(1868) Место рождения: Пружаны Дата смерти: 1957 год(195 … Википедия
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. М. рассматривает формализованную теорию как множество некоторых конечных… … Словарь терминов логики
Юделевский, Яков Лазаревич — (псевдоним Ю. Делевский) видный с. р., литератор. Род. в 1868, учился на физико математическом факультете Петербургского ун та. В 1890 был арестован по делу народовольческой группы Фойницкого и др.; в 1892 был в административном порядке… … Большая биографическая энциклопедия
Метаматематика — теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… … Большая советская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
Метаматематика — Метаматематика раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики» … Википедия
Лебединцев, Всеволод Владимирович — В Википедии есть статьи о других людях с такой фамилией, см. Лебединцев. Всеволод Владимирович Лебединцев (5 июля 1881, Одесса 17 февраля 1908. Петербург) российский террорист. В деле о покушении на министра юстиции (Щегловитов, Иван… … Википедия
"Протоколы сионских мудрецов" — «Протоколы сионских мудрецов» сборник текстов, который публикаторы представляли как документы всемирного еврейского заговора. Точное название «Протоколы заседаний Всемирного союза франмасонов и сионских мудрецов». Осенью… … Энциклопедия ньюсмейкеров
