Jestem samoukiem, asystentem ds. Dowodów i postanowiłem zacząć od kilku podstawowych dowodów i podążać swoją drogą. Ponieważ dowody są oparte na innych dowodach, a zatem tworzą hierarchię, czy istnieje repozytorium hierarchii dowodów?
Wiem, że mogę wybrać konkretnego asystenta proofów i przeanalizować jego bibliotekę, aby wyodrębnić jego hierarchię, jednak jeśli chcę znaleźć kolejny dowód w łańcuchu do udowodnienia, nie mogę, gdy nie ma go w bibliotece.
Moim zdaniem wyobrażam sobie wykres, prawdopodobnie DAG , wszystkich znanych matematycznych dowodów, które można wyrazić za pomocą angielskich stwierdzeń, a nie dowodów za pomocą obrazów . Byłaby to mapa główna (mapa w sensie rozpoczynania się w jednym punkcie i podróżowania do innego punktu przez punkty pośrednie), a dla konkretnego asystenta dowodu miałby się podgraph mapy głównej. Następnie, jeśli ktoś chciałby stworzyć dowód przy użyciu asystenta dowodu znalezionego na wzorcu, a nie na podsgrafie, porównując dwa wykresy, można uzyskać wyobrażenie o pracy potrzebnej do stworzenia brakujących dowodów dla asystenta dowodu.
Zdaję sobie sprawę, że dowodów matematycznych niekoniecznie łatwo można przekonwertować do użycia z asystentem dowodu, jednak ogólne pojęcie o tym, co należy zrobić, jest znacznie lepsze niż wcale.
Również mając mapę główną, widzę, czy istnieje wiele ścieżek od jednego punktu do drugiego, i wybieram ścieżkę, która jest bardziej odpowiednia dla konkretnego asystenta dowodu.
EDYTOWAĆ
Podczas wyszukiwania znalazłem coś podobnego do funkcji matematycznych . Nie znalazłem jednego na dowód w NIST
