मैं सेल्फ-लर्निंग प्रूफ असिस्टेंट हूं और कुछ बेसिक प्रूफ शुरू करने और अपने तरीके से काम करने का फैसला किया। चूँकि प्रमाण अन्य प्रमाणों पर आधारित होते हैं और इसलिए पदानुक्रम बनता है, तो क्या साक्ष्यों के पदानुक्रम का भंडार है?
मुझे पता है कि मैं एक विशेष प्रमाण-सहायक को चुन सकता हूं और अपनी पदानुक्रम को निकालने के लिए इसकी लाइब्रेरी का विश्लेषण कर सकता हूं, हालांकि अगर मैं साबित करने के लिए एक श्रृंखला में अगला प्रमाण ढूंढना चाहता हूं, तो मैं तब नहीं कर सकता जब यह पुस्तकालय में नहीं हो।
मेरे दिमाग में, मैं एक ग्राफ, शायद एक डीएजी , जो सभी ज्ञात गणितीय प्रमाणों का उपयोग करता हूं, जो अंग्रेजी बयानों का उपयोग करके व्यक्त किया जा सकता है, चित्रों का उपयोग करके सबूत नहीं । यह मास्टर मैप होगा (एक बिंदु पर शुरू करने और मध्यवर्ती बिंदुओं के माध्यम से दूसरे बिंदु पर जाने के अर्थ में एक नक्शा), और एक विशेष प्रमाण सहायक के लिए, किसी के पास मास्टर मानचित्र का एक सबग्राफ होगा। फिर यदि कोई उपप्रग पर नहीं पाए गए प्रमाण सहायक का उपयोग कर प्रमाण बनाना चाहता है, तो दो रेखांकन की तुलना करके, प्रमाण सहायक के लिए लापता प्रमाण (ओं) को बनाने के लिए आवश्यक कार्य का अनुमान प्राप्त कर सकता है।
मुझे पता है कि गणितीय प्रमाण आवश्यक रूप से प्रमाण सहायक के साथ उपयोग करने के लिए आसानी से परिवर्तनीय नहीं हैं, हालांकि क्या करना है, इसका एक सामान्य विचार है कि सभी में से कोई भी बेहतर नहीं है।
इसके अलावा, मास्टर मैप होने से, मैं देख सकता हूं कि क्या एक बिंदु से एंटोइर तक के छोटे-छोटे रास्ते हैं और एक ऐसा रास्ता चुनें जो पार्टिसिपल प्रूफ असिस्टेंट के लिए अधिक आमीन है।
संपादित करें
खोज में मैंने गणितीय कार्यों के लिए कुछ समान पाया । मुझे NIST पर सबूत के लिए एक नहीं मिला