ฉันเป็นผู้ช่วยพิสูจน์การเรียนรู้ด้วยตนเองและตัดสินใจที่จะเริ่มต้นการพิสูจน์ขั้นพื้นฐานและหาทางแก้ไข เนื่องจากการพิสูจน์จะขึ้นอยู่กับการพิสูจน์อื่น ๆ ดังนั้นในการสร้างลำดับชั้นจึงมีที่เก็บของลำดับชั้นของการพิสูจน์หรือไม่?
ฉันรู้ว่าฉันสามารถเลือกผู้ช่วยพิสูจน์และวิเคราะห์ไลบรารีเพื่อแยกลำดับชั้นของมันอย่างไรก็ตามถ้าฉันต้องการค้นหาหลักฐานถัดไปในโซ่เพื่อพิสูจน์ว่าฉันไม่สามารถทำได้เมื่อไม่ได้อยู่ในห้องสมุด
ในใจของฉันฉันภาพกราฟอาจจะเป็นDAGของทุกที่รู้จักกันเป็นบทพิสูจน์ทางคณิตศาสตร์ที่สามารถแสดงการใช้คำสั่งภาษาอังกฤษไม่ได้แสดงพยานหลักฐานการใช้ภาพ นี่คือแผนที่หลัก (แผนที่ในแง่ของการเริ่มต้นที่จุดหนึ่งและเดินทางไปยังจุดอื่นผ่านจุดกึ่งกลาง) และสำหรับผู้ช่วยพิสูจน์โดยเฉพาะหนึ่งจะมีกราฟย่อยของแผนที่หลัก จากนั้นหากใครต้องการสร้างหลักฐานโดยใช้ผู้ช่วยพิสูจน์ที่พบในต้นแบบไม่ได้อยู่ในกราฟย่อยโดยการเปรียบเทียบกราฟสองกราฟหนึ่งจะได้รับความคิดของงานที่จำเป็นในการสร้างหลักฐานหายไปสำหรับผู้ช่วยพิสูจน์
ฉันทราบว่าการพิสูจน์ทางคณิตศาสตร์นั้นไม่สามารถแปลงได้อย่างง่ายดายสำหรับการใช้งานกับผู้ช่วยการพิสูจน์อย่างไรก็ตามการมีแนวคิดทั่วไปเกี่ยวกับสิ่งที่ต้องทำนั้นดีกว่าไม่มีเลย
นอกจากนี้โดยการมีแผนที่หลักฉันสามารถดูว่ามีเส้นทางมากมายจากจุดหนึ่งไปยังอีกแอนทีโอและเลือกเส้นทางที่ตอบสนองได้ดีกว่าสำหรับผู้ช่วยพิสูจน์โดยเฉพาะ
แก้ไข
ในการค้นหาผมพบว่าบางสิ่งบางอย่างที่คล้ายกันสำหรับฟังก์ชั่นทางคณิตศาสตร์ ฉันไม่พบหลักฐานเพื่อพิสูจน์ที่NIST