익명 사용자
로그인하지 않음
토론
기여
계정 만들기
로그인
IT 위키
검색
4색 정리
편집하기 (부분)
IT 위키
이름공간
문서
토론
더 보기
더 보기
문서 행위
읽기
편집
원본 편집
역사
경고:
로그인하지 않았습니다. 편집을 하면 IP 주소가 공개되게 됩니다.
로그인
하거나
계정을 생성하면
편집자가 사용자 이름으로 기록되고, 다른 장점도 있습니다.
스팸 방지 검사입니다. 이것을 입력하지
마세요
!
==논쟁 및 영향== 초기의 컴퓨터 보조 증명은 수학적으로 완전하지 않다는 비판도 받았으며, 사람이 검증할 수 없는 수많은 계산을 포함한다는 점에서 새로운 형식의 수학적 엄밀성에 대한 논의를 불러일으켰다. 이후 증명의 안정성과 재현성 확보를 위한 노력이 계속되었으며, 2005년에는 Gonthier가 Coq 정리 증명기를 이용하여 공식화된 증명을 제공하였다.
요약:
IT 위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-비영리-동일조건변경허락 라이선스로 배포된다는 점을 유의해 주세요(자세한 내용에 대해서는
IT 위키:저작권
문서를 읽어주세요). 만약 여기에 동의하지 않는다면 문서를 저장하지 말아 주세요.
또한, 직접 작성했거나 퍼블릭 도메인과 같은 자유 문서에서 가져왔다는 것을 보증해야 합니다.
저작권이 있는 내용을 허가 없이 저장하지 마세요!
취소
편집 도움말
(새 창에서 열림)
둘러보기
둘러보기
대문
최근 바뀜
광고
위키 도구
위키 도구
특수 문서 목록
문서 도구
문서 도구
사용자 문서 도구
더 보기
여기를 가리키는 문서
가리키는 글의 최근 바뀜
문서 정보
문서 기록