непротиворечивость

  • 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) и др. В… …

    Новейший философский словарь