Proof mining
In
nonconstructive.[1]
This research has led to improved results in analysis obtained from the analysis of classical proofs.
References
- ^ Ulrich Kohlenbach (2008). Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Springer Verlag, Berlin. pp. 1–536.
Further reading
- Ulrich Kohlenbach and Paulo Oliva, "Proof Mining: A systematic way of analysing proofs in mathematics", Proc. Steklov Inst. Math, 242:136–164, 2003
- Paulo Oliva, "Proof Mining in Subsystems of Analysis", BRICS PhD thesis citeseer
 | This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |