증명: 두 판 사이의 차이
K-위키
편집 요약 없음 |
편집 요약 없음 |
||
| 1번째 줄: | 1번째 줄: | ||
{{혐오| | {{혐오|증명 후 발견된 오류|수학자들}} | ||
{{해라}} | {{해라}} | ||
{{발암}} | {{발암}} | ||
2018년 9월 26일 (수) 22:06 판
수학자들은(는) 증명 후 발견된 오류을(를) 싫어합니다.
만약 당신이 증명 후 발견된 오류(이)거나 증명 후 발견된 오류을(를) 좋아하는 사람이라면, 이 문서에서 탈출하십시오.
이 틀을 보고도 계속 남아있다가 수학자들에게 살해당해도 디시위키에서는 일절 책임지지 않습니다.
이 틀을 보고도 계속 남아있다가 수학자들에게 살해당해도 디시위키에서는 일절 책임지지 않습니다.
| 경고. 발암 위험이 있는 문서입니다. 이 문서를 끝까지 보려 했다가는 암 걸릴 것 같은 고통에 몸부림치게 되고 심지어 죽을 수도 있습니다! 자세한 내용은 의사나 약사에게 상담하기엔 이미 늦었군요. 故 너의 명복을 왼손으로 비비고~ 오른손으로 비비고~ 아무튼 야무지게 빕니다. |
proof
| “ |
"증명이란 수학자가 앞에 두고 스스로를 고문하는 우상이다." |
” |
— -아서 에딩턴
|
설명
간단히 말해, 어떤 것이 참인지를 보여주는 것. 다만 수학의 기호의 정의(定義)등은 약속이기 때문에, 증명할 수도 없고, 그것을 증명한다는 것 자체가 어폐가 있으므로 주의.
특정한 공리들을 가정하고, 그 가정 하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
증명이 끝나고 검증을 하는데 오류가 발견되면 미칠 지경이라 하더라. 수식은 간단하나 증명이 조오오오온나게 긴 경우가 있다. 예로 들어 페르마의 마지막 정리가 있다.