Доказательство майнинга - Proof mining

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

Рекомендации

дальнейшее чтение

  • Ульрих Коленбах и Пауло Олива, "Proof Mining: систематический способ анализа доказательств в математике", Proc. Стеклова Математика , 242: 136–164, 2003.
  • Пауло Олива, «Доказательство майнинга в подсистемах анализа», соискатель кандидатской диссертации БРИКС.