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