문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 자동정리증명 (문단 편집) == 개요 == {{{+1 [[自]][[動]][[定]][[理]][[證]][[明]] / automated theorem proving}}} 자동정리증명은 주어진 논리를 증명하는 알고리즘이다. 단, 증명불가능한 문제[*1 예시로 [[연속체 가설]]이 있다.]는 고려하지 않는다. 예를 들어 [math( \left( A \Rightarrow B \right) \land \left( B \Rightarrow C \right) \vdash \left( A \Rightarrow C \right) )]와 같은 논리를 컴퓨터[*2 튜링기계(Turing machine)가 올바른 표현이나 이해를 돕기 위하여 컴퓨터로 서술하였다]가 자동으로 증명 또는 반증해주는 것이다. 수학적 증명에 대한 자동화된 추론은 [[컴퓨터과학]] 발전의 주요 원동력이었다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기