|
|
psyoffice.ru » Словари и энциклопедии » Философия » Философский энциклопедический словарь.- М.: Советская энциклопедия, 1989 г.
МЕТАМАТЕМАТИКА(теория доказательств) — теория, к-рая занимается изучением различных свойств формальных систем и исчислений (непротиворечивость, полнота и др.). Термин “М.” введен Гильбертом в связи с его концепцией обоснования математики (Формализм). За последние годы в этой области получен ряд важных результатов (теорема Гёделя о неполноте формальной арифметики и о невозможности доказательства непротиворечивости системы с помощью средств, формализуемых в этой системе, и др.). Категория: Словари и энциклопедии » Философия » Философский энциклопедический словарь.- М.: Советская энциклопедия, 1989 г. Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|