Saya adalah asisten bukti belajar mandiri dan memutuskan untuk memulai pada beberapa bukti dasar dan terus maju. Karena bukti didasarkan pada bukti lain dan karenanya membentuk hierarki, adakah repositori dari hierarki bukti?
Saya tahu saya dapat memilih asisten bukti dan menganalisis perpustakaannya untuk mengekstrak hierarki, namun jika saya ingin menemukan bukti berikutnya dalam sebuah rantai untuk membuktikan, saya tidak bisa ketika itu tidak ada di perpustakaan.
Dalam pikiran saya, saya menggambar grafik, mungkin DAG , dari semua bukti matematika yang diketahui yang dapat diekspresikan menggunakan pernyataan bahasa Inggris, bukan bukti menggunakan gambar . Ini akan menjadi peta master (peta dalam arti mulai dari satu titik dan bepergian ke titik lain melalui titik-titik perantara), dan untuk asisten bukti tertentu, seseorang akan memiliki subgraf dari peta master. Kemudian jika seseorang ingin membuat bukti menggunakan asisten bukti yang ditemukan pada master bukan pada subgraph, dengan membandingkan dua grafik seseorang bisa mendapatkan ide tentang pekerjaan yang diperlukan untuk membuat bukti yang hilang (s) untuk asisten bukti.
Saya sadar bahwa bukti matematis tidak selalu mudah dikonversi untuk digunakan dengan asisten bukti, namun memiliki gagasan umum tentang apa yang harus dilakukan jauh lebih baik daripada tidak sama sekali.
Juga dengan memiliki peta master, saya dapat melihat apakah ada jalur mulitple dari satu titik ke antoher dan memilih jalur yang lebih dapat diterima untuk asisten bukti partikular.
EDIT
Dalam pencarian saya menemukan sesuatu yang mirip dengan fungsi matematika . Saya tidak menemukan satu untuk bukti di NIST
