증명: 두 판 사이의 차이
K-위키
새 문서: {{해라}} proof {{인용문|"증명이란 수학자가 앞에 두고 스스로를 고문하는 우상이다."|-아서 에딩턴}} = 설명 = 간단히 말해, 어떤 것이 참... |
편집 요약 없음 |
||
| 13번째 줄: | 13번째 줄: | ||
특정한 공리들을 가정하고, 그 가정 하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다. | 특정한 공리들을 가정하고, 그 가정 하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다. | ||
증명이 끝나고 검증을 하는데 오류가 발견되면 미칠 지경이라 하더라. 증명이 조오오오온나게 긴 경우가 있다. 예로 들어 [[페르마의 마지막 정리]]가 있다. | 증명이 끝나고 검증을 하는데 오류가 발견되면 미칠 지경이라 하더라. 수식은 간단하나 증명이 조오오오온나게 긴 경우가 있다. 예로 들어 [[페르마의 마지막 정리]]가 있다. | ||
[[분류:수학]] | [[분류:수학]] | ||
2018년 9월 26일 (수) 22:05 판
proof
| “ |
"증명이란 수학자가 앞에 두고 스스로를 고문하는 우상이다." |
” |
— -아서 에딩턴
|
설명
간단히 말해, 어떤 것이 참인지를 보여주는 것. 다만 수학의 기호의 정의(定義)등은 약속이기 때문에, 증명할 수도 없고, 그것을 증명한다는 것 자체가 어폐가 있으므로 주의.
특정한 공리들을 가정하고, 그 가정 하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
증명이 끝나고 검증을 하는데 오류가 발견되면 미칠 지경이라 하더라. 수식은 간단하나 증명이 조오오오온나게 긴 경우가 있다. 예로 들어 페르마의 마지막 정리가 있다.
