현재까지도,
증명이 되지 않고 있는 수학적 명제는 많다.
골드바흐의 추측, 리만 가설.. 등등
그런데, 여기서 질문 한가지!
어떤 수학적 명제가 증명 불가능함을,
혹은 어떤 수학적 명제가 증명 가능함을
수학적으로 증명하는 것이 가능할까??
증명이 되지 않고 있는 수학적 명제는 많다.
골드바흐의 추측, 리만 가설.. 등등
그런데, 여기서 질문 한가지!
어떤 수학적 명제가 증명 불가능함을,
혹은 어떤 수학적 명제가 증명 가능함을
수학적으로 증명하는 것이 가능할까??
'Mathematics > question' 카테고리의 다른 글
| 수학적 명제와 증명에 관한 의문 (4) | 2007/12/03 |
|---|---|
| 증명 불가능한 수학적 명제 (6) | 2006/01/19 |
| 컴퓨터를 이용한 증명 (16) | 2006/01/19 |
http://min9nim.kr/trackback/29
복잡하고 어려운 수학적 명제의 증명은
증명이 가능하거나 불가능함을 도출해내는
방법으로 많이 증명을 합니다. :-)
어느 수학적명제가 증명가능하거나 불가능함을 증명하는것이 가능하다란 말씀인가봐요~*
연속체 가설. 증명불가능함이 증명된 대표적인 명제
아 정말 그렇군여^^ 정말 흥미롭네요ㅋ
혹시 증명가능함은 증명되었지만 아직 증명되지 않은 그런 명제도 있을까요ㅎ
괴델의 불확정성원리라고 쳐보세요. 비슷한 내용이 나옵니다.ㅋ
감사합니다. 함 찾아볼께여^^