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




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

теорема

Теорема (греч. рассматриваю, обдумываю) - в совр. формальной логике и математике любое предложение некоторой строго построенной дедуктивной (напр., аксиоматической) теории, к-рое доказано (выведено) на основе применения к исходным положениям этой теории (аксиомам) и (или) к уже доказанным предложениям теории допустимых для этой теории правил вывода. В синтаксических системах класс Т. эквивалентен классу выводимых формул; в семантических системах класс аксиом и Т. совпадает с классом истинных предложений данной теории. Различение между аксиомами и Т. условно: одни и те же предложения некоторой теории в одних случаях могут быть приняты в качестве аксиом, в др. - доказываться как Т. В силу этого к Т. часто относят и аксиомы. Т., к-рые формулируются относительно некоторой теории (обычно формальной или формализованной) и доказываются содержательными средствами метатеории этой теории, называются метатеоремами (напр., Т. о дедукции).


Источники:

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





© Алексей Злыгостев, дизайн, подборка материалов, разработка ПО 2001–2017
Все права на тексты книг принадлежат их авторам!

При копировании страниц проекта обязательно ставить ссылку:
'Электронная библиотека по философии - http://filosof.historic.ru'
Сайт создан при помощи Богданова В.В. (ТТИ ЮФУ в г.Таганроге)