2
Principia Mathematica 스타일 형식화에 적합한 자동 정리 증명 패러다임은 무엇입니까?
나는 Russell 's Principia Mathematica (PM)와 논리적 실증주의에서 영감을 얻은 책을 소유하고있다. 공리를 결정하고 그것들로부터 이론을 추론함으로써 특정 영역을 공식화하려고 시도한다. 요컨대, PM이 수학을 위해 시도한 것을 그 영역을 위해 시도합니다. PM과 마찬가지로 자동 정리 증명 (ATP)이 가능하기 전에 작성되었습니다. 나는 현대의 ATP 시스템에서 이러한 공리를 표현하려고 노력하고 있으며, 처음에는 …