Доказательный майнинг
В теории доказательств , разделе математической логики , добыча доказательств (или раскрытие доказательств ) — это исследовательская программа, которая изучает или анализирует формализованные доказательства, особенно в анализе , чтобы получить явные границы, диапазоны или скорости сходимости из доказательств, которые, выраженные в естественных выражениях, язык, кажутся неконструктивными . [1] Это исследование привело к улучшению результатов анализа, полученных при анализе классических доказательств.
Ссылки [ править ]
- ^ Ульрих Коленбах (2008). Прикладная теория доказательств: интерпретации доказательств и их использование в математике . Шпрингер Верлаг, Берлин. стр. 1 –536.
Дальнейшее чтение [ править ]
- Ульрих Коленбах и Пауло Олива, «Извлечение доказательств: систематический способ анализа доказательств в математике», Proc. Стеклова. Математика , 242:136–164, 2003 г.
- Пауло Олива, «Доказательный анализ в подсистемах анализа», автор кандидатской диссертации БРИКС
 | Эта математической логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |