Теория доказательств

Теория доказательств

Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей, аксиоматической теорией множеств и теорией вычислений, теория доказательств является одним из так называемых «четырёх столпов» математики[1].

Примечания

  1. ↑ E.g., Wang (1981), pp. 3-4, and Barwise (1978).


Формула


Wiki letter w.svg
 Для улучшения этой статьи желательно?:
  • Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).
  • Проставить для статьи более точные категории.
  • Добавить иллюстрации.
Есть более полная статья

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Полезное


Смотреть что такое "Теория доказательств" в других словарях:

  • теория доказательств — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN proof theory …   Справочник технического переводчика

  • Математическая теория доказательств — Теория доказательств (англ. proof theory)  раздел математической логики, в котором феномен математического доказательства сам становится объектом, например алгебры или арифметики. Доказательство обычно представляют как индуктивно возникающие… …   Википедия

  • Формальная теория доказательств — Формальная теория доказательств  один из вариантов устройства норм об оценке доказательств в судебном процессе. В уголовном процессе его сущность состоит в том, что для признания преступления совершённым и вины подсудимого доказанной суд… …   Википедия

  • ДОКАЗАТЕЛЬСТВ ТЕОРИЯ —     ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует …   Философская энциклопедия

  • ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… …   Философская энциклопедия

  • Теория струн — Теория суперструн Теория …   Википедия

  • Теория зависимости — или Теория зависимого развития теория в области смежных социальных наук, в основании которой лежит утверждение о том, что экономическая отсталость и политическая нестабильность слаборазвитых, развивающихся стран является результатом их интеграции …   Википедия

  • Теория катастроф (Арнольд) — Теория катастроф книга, написанная В.И. Арнольдом в 1990 (3 е издание, первый неполный вариант книги вышел еще в начале 1980 х) и посвященная изложению теории катастроф. Содержание 1 Структура 2 Содержание …   Википедия

  • Теория неожидаемой полезности — (англ. Nonexpected Utility Theory) теория, согласно которой вероятности входят нелинейным образом в функцию полезности. Несмотря на широту применения, теория ожидаемой полезности и теория субъективной ожидаемой полезности многократно… …   Википедия

  • Теория естественного права — Теория естественного права  право у человека возникает от рождения и природы, который обладает неотъемлемыми естественными правами (право на жизнь, свободу, равенство), которые нельзя отменить, изменить. Законы соответствуют нравственным… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»