Библиотека    Новые поступления    Словарь    Карта сайтов    Ссылки






А Б В Г Д Е Ж З И Й К Л М Н О
П Р С Т У Ф Х Ц Ч Ш Э Ю Я

независимость системы аксиом

Независимость системы аксиом - невыводимость аксиом к.-л. дедуктивной теории по правилам вывода этой теории из остальных аксиом. Исследование Н. с. а. имеет существенное значение. Так, установление независимости пятого постулата Евклида в системе аксиом геометрии способствовало созданию неевклидовых геометрий (Аксиоматический метод).


Источники:

  1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.



ПОИСК:


Самиздат - политическое и культурное явление в СССР

Пол гробниц в древнем Пилосе выстилали листы золотой фольги

Магнитное поле Земли помогло археологам подтвердить дату сожжения Иерусалима

Археологи продолжают исследовать древний город Мохенджо-Даро

На «острове друидов» археологи нашли захоронение возрастом четыре тысячи лет

Найденные в болоте останки позволят по-новому взглянуть на войну варваров

История косметики: от древнеегипетских средств до каталога Avon




Дом Васнецова — сохранившийся уголок старой Москвы

Завершена реставрация картины Питера Брейгеля Старшего «Триумф смерти»

Как картина Рубенса попала на продажу в южноафриканский аукционный дом

Открыта новая картина выдающейся художницы XVII века Микаэлины Вотье (1604 – 1689)

Украденная картина за 160 млн долларов нашлась спустя 33 года в спальне неприметных американцев

Недавно идентифицированный портрет сэра Фрэнсиса Дрейка – знаменитого английского пирата и национального героя

Коллекционер из Голландии объявил об обнаружении неизвестной картины Климта

© FILOSOF.HISTORIC.RU 2001–2023
Все права на тексты книг принадлежат их авторам!
При копировании страниц проекта обязательно ставить ссылку:
'Электронная библиотека по философии - http://filosof.historic.ru'