непротиворечивость
61Вторая теорема Геделя — Теоремы Гёделя о неполноте две теоремы математической логики о неполноте формальных систем определённого рода. Содержание 1 Первая теорема Гёделя о неполноте 2 Вторая теорема Гёделя о неполноте …
62Вторая теорема Гёделя — Теоремы Гёделя о неполноте две теоремы математической логики о неполноте формальных систем определённого рода. Содержание 1 Первая теорема Гёделя о неполноте 2 Вторая теорема Гёделя о неполноте …
63Неполнота математики — Теоремы Гёделя о неполноте две теоремы математической логики о неполноте формальных систем определённого рода. Содержание 1 Первая теорема Гёделя о неполноте 2 Вторая теорема Гёделя о неполноте …
64Формальная система — (формальная теория, аксиоматическая теория)  результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… …
65Васюков, Владимир Леонидович — (р. 02.11.1948) спец. по логике; д р филос. наук, вед. н. с. Род. в г. Рига (Латвия). Окончил физ. ф т Львовского гос. ун та (1972). С 1980 по 1990 н. с. вычислительного центра Львовского политехн. ин та, в 1991 1995 ст. н. с. Обществ, ик та… …
66Геометрия — (греч. geometria, от ge Земля и metreo мерю) раздел математики, изучающий пространственные отношения и формы, а также другие отношений и формы, сходные с пространственными по своей структуре. Происхождение термина «Г. , что… …
67Парадокс — (от греч. parádoxes неожиданный, странный) неожиданное, непривычное (хотя бы по форме) суждение (высказывание, предложение), резко расходящееся с общепринятым, традиционным мнением по данному вопросу. В этом смысле эпитет «парадоксальный» …
68Секвенций исчисление — (позднелатинское sequentia последовательность, следствие) секвенциальные исчисления, исчисления способов заключений, модификации понятия логического исчисления (См. Исчисление), в которых основными объектами преобразования являются не… …
69БРЭДЛИ — (Bradly) Фрэнсис Герберт (1846 1924) британский философ, представитель абсолютного идеализма, теоретик консерватизма. Получил образование в Оксфордском университете, где вскоре после окончания в 1870 был избран членом совета Мертон колледжа. В… …
70БРЭДЛИ — (Bradly) Фрэнсис Герберт (1846 1924) британский философ, представитель абсолютного идеализма, теоретик консерватизма. Основные работы: «Принципы логики» (1883); «Видимость и действительность» (1893); «Ессе об истине и реальности» (1914) и др. В… …