나는 스스로 배우는 증거 조수 이며 기본적인 증거를 시작하고 내 길을 가기로 결정했습니다. 증명은 다른 증명을 기반으로하므로 계층 구조를 형성하므로 증명 계층 구조의 저장소가 있습니까?
특정 증명 보조자를 선택하고 라이브러리를 분석하여 계층 구조를 추출 할 수 있지만 체인에서 다음 증명을 찾으려면 라이브러리에 없을 때 할 수 없습니다.
내 마음에 나는 그림을 사용한 증거가 아닌 영어 문장을 사용하여 표현할 수있는 모든 알려진 수학 증거 의 그래프, 아마도 DAG 를 그린다 . 이것은 마스터 맵 (한 지점에서 시작하여 중간 지점을 통해 다른 지점으로 이동한다는 의미의 맵)이며, 특정 교정 보조원에게는 마스터 맵의 하위 그래프가 있습니다. 그런 다음 하위 그래프가 아닌 마스터에서 찾은 증거 도우미를 사용하여 증거를 만들려면 두 그래프를 비교하여 증거 도우미에 누락 된 증거를 만드는 데 필요한 작업에 대한 아이디어를 얻을 수 있습니다.
나는 수학 보조가 교정 보조와 함께 사용하기 위해 반드시 쉽게 변환 할 수있는 것은 아니라는 것을 알고 있습니다.
또한 마스터 맵을 통해 한 지점에서 여러 지점으로의 여러 경로가 있는지 확인할 수 있으며 특정 증거 도우미에게 더 적합한 경로를 선택할 수 있습니다.
편집하다
1
코드 저장소 (상기 증명 시스템 용) 또는 일반 증거의 "저장소"(영어 / 수학적 표기법으로 작성)를 찾고 있습니까? 후자 인 경우 proofwiki.org/wiki/Main_Page
—
Nicholas Mancuso
구조적이고 포괄적 인 증거 저장소를 찾는 것이 놀랍습니다. 그 외에는 모든 수학 책이 하나입니다.
—
라파엘
그러한 그래프가 존재하는지 잘 모르겠습니다. 수학에는 다른 일련의 증명과 직접적으로 관련되지 않는 진술이 있습니다. 많은 기하학적 주장이이 범주에 속합니다. 그것들을 채우는 것이 가능할 수도 있지만, 아무도 "명백한"것을 증명하기 위해 귀찮게하지 않는 지점이있을 수 있습니다. 그러한 그래프가 존재한다면 크기와 깊이 모두에서 엄청나게 클 것이라고 생각합니다. 나는 ZFC에서 2 차 공식에 이르는 단계의 수를 상상할 수 없으며, Fermat의 마지막 정리는 훨씬 적습니다.
—
SamM
