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






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

метаматематика

Метаматематика (теория доказательств) - теория, к-рая занимается изучением различных свойств формальных систем и исчислений (непротиворечивость, полнота и др.). Термин «М.» введен Гильбертом в связи с его концепцией обоснования математики (Формализм). За последние годы в этой области получен ряд важных результатов (теорема Геделя о неполноте формальной арифметики и о невозможности доказательства непротиворечивости системы с помощью средств, формализуемых в этой системе, и др.).


Источники:

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



ПОИСК:





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

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