Prova madenciliği - Proof mining

Gelen geçirmez teori , bir kolu matematiksel mantık , ispat madencilik (veya geçirmez açma ) özellikle, resmileştirdi kanıtları analiz eden bir araştırma programıdır analiz açık sınırları veya elde edilmesi, yakınlaşma oranları , doğal dille ifade edildiğinde, görünen deliller elde olmak yapısal olmayan . Bu araştırma, klasik ispatların analizinden elde edilen analizlerde gelişmiş sonuçlara yol açmıştır.

Referanslar

daha fazla okuma

  • Ulrich Kohlenbach ve Paulo Oliva, "İspat Madenciliği: Matematikte ispatları analiz etmenin sistematik bir yolu", Proc. Steklov Inst. Matematik , 242: 136–164, 2003
  • Paulo Oliva, "Alt Analiz Alt Sistemlerinde İspat Madenciliği", BRICS Doktora tezi alıntı yapan