문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 증명 (문단 편집) == 관련 문서 == * [[존재성과 유일성]] * [[바쁜 비버]] - 리만 가설, 골드바흐의 추측과 같은 수학적 난제를 컴퓨터로 증명할 수 있는 [[이론상 최강]]의 알고리즘. 그러나 증명 과정에서 요구하는 연산량이 초월적으로 많아 실제 증명에 사용할 수 없다. [[분류:증명]]저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기