Důkazní těžba - Proof mining
v teorie důkazů, pobočka matematická logika, důlní těžba (nebo důkaz odvíjení) je výzkumný program, který analyzuje formalizované důkazy, zejména v analýza, získat explicitní hranice nebo míry konvergence z důkazů, které, pokud jsou vyjádřeny v přirozeném jazyce, se zdají být nekonstruktivní.[1]Tento výzkum vedl ke zlepšeným výsledkům v analýze získané z analýzy klasických důkazů.
Reference
- ^ Ulrich Kohlenbach (2008). Aplikovaná teorie důkazů: Interpretace důkazů a jejich využití v matematice. Springer Verlag, Berlín. str.1 –536.
Další čtení
- Ulrich Kohlenbach a Paulo Oliva, „Důkazová těžba: systematický způsob analýzy důkazů v matematice“, Proc. Steklov Inst. Matematika, 242:136–164, 2003
- Paulo Oliva, „Důkazní těžba v analytických systémech“, disertační práce BRICS citeseer
![]() | Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |