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