문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 증명 (문단 편집) ==== 컴퓨터를 이용한 증명 ==== * [[4색정리]] - 컴퓨터를 이용한 증명이 인정받은 최초의 경우이다. * [[케플러의 추측]] - 3차원 공간에서 구를 채우는 효율에 대한 문제인데, 케플러가 사망한지 400년이상 경과한 1998년, 토마스 헤일스가 컴퓨터를 이용하여 증명하였다. * [[골드바흐 추측|골드바흐의 약한 추측]] - 2013년에 수학자 엘프고트가 10^^30^^ 보다 큰 수에서 골드바흐의 약한 추측이 성립함을 증명하고, 10^^30^^ 보다 작은 수는 모두 [[노가다(수학)|컴퓨터를 돌려서]] 성립함을 확인하였다. 이로써 '골드바흐의 약한 추측'이 참임을 증명하였다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기