«proof-search» 태그된 질문

이것은 저의 전문 지식 중에서도 순진한 질문입니다. 미리 사과드립니다. Goldbach의 추측과 수학에서 해결되지 않은 다른 많은 질문들은 술어 미적분학에서 짧은 공식으로 쓰여질 수 있습니다. 예를 들어, Cook의 논문은 "컴퓨터가 수학 증거를 일상적으로 발견 할 수 있습니까?" 추측으로 공식화 ∀ n [ ( n > 2 ∧ 2 | n ) …

35 cc.complexity-theory  proof-complexity  automated-theorem-proving  proof-search 

결의안은 CNF의 불만족을 입증하는 제도입니다. 해결 증거는 CNF의 초기 조항에 대한 빈 조항의 논리적 추론입니다. 특히 모든 초기 조항을 유추 할 수 있으며 두 조항 A∨xA∨xA \lor x 및 B∨¬xB∨¬xB \lor \neg{x} 에서 조항 A∨BA∨BA \lor B 도 추론 할 수 있습니다. 반박은 공제로 끝나는 일련의 추론입니다. 그러한 반박이 구현되면, …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search