деля
81Гёдель Курт — Курт Гёдель Курт Гёдель Дата рождения: 28 апреля 1906(19060428) Место рождения: Брно Австро Венгрия Д …
82Курт Гедель — Курт Гёдель Курт Гёдель Дата рождения: 28 апреля 1906(19060428) Место рождения: Брно Австро Венгрия Д …
83Курт Гёдель — Дата рождения: 28 апреля 1906(19060428) Место рождения: Брно Австро Венгрия Д …
84МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… …
85педель — 1. педель, педели, педеля, педелей, педелю, педелям, педеля, педелей, педелем, педелями, педеле, педелях 2. педель, педеля, педеля, педелей, педелю, педелям, педеля, педелей, педелем, педелями, педеле, педелях (Источник: «Полная акцентуированная… …
86пудель — 1. пудель, пудели, пуделя, пуделей, пуделю, пуделям, пуделя, пуделей, пуделем, пуделями, пуделе, пуделях 2. пудель, пудели, пуделя, пуделей, пуделю, пуделям, пуделя, пуделей, пуделем, пуделями, пуделе, пуделях (Источник: «Полная акцентуированная… …
87АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… …
88Метаматематика — Метаматематика  раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики» …
89полнота логических исчислений — ПОЛНОТА ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ выводимость в исчислении (логической системе) всех утверждений (предложений, формуЛит.п.), обладающих некоторым подразумеваемым для этого исчисления свойством. Напр., П. классического исчисления высказываний… …
90Лилль — *ЛИЛЛЬ, глав. городъ и первокласс. франц. кр сть въ Сѣв. деп тѣ, расположенъ въ плодородной и хорошо орошен. равнинѣ на судох. и канализован. р. Дель, въ 11 клм. отъ бельг. гр цы и въ узлѣ ж. дорогъ на Аррасъ, Дуэ, Валансьеннъ, Турне, Рубэ и… …
