[일반] 귀납에 의해 참이라고 믿어지는건 연역으로 증명가능?

[익명(211.246)]

수학연구의 결과물(증명?)이 연역으로 표현되고 수학연구 자체는 백퍼센트? 연역은 아니란 소리를 들었는데

그럼 증명이 전부 연역이라면

그리고 수학연구가 귀납도 포함한다면

귀납으로 유도한 명제가 참임을 연역으로 증명해서 쓴다는 말임?

- dc official App

[김민성태팬클럽회장(thecoqproofassistant)]

진짜 Triva는 전설이다

[나단수리(nadan3)]

연역 논리가 뭔지 안다고 다 되는게 아니라 군론같이 아이디어가 중요하단 의미 아님?

[익명(211.246)]

아이디어는 귀납인가요? - dc App

[익명(175.208)]

수학도 다른 과학이랑 똑같아. 다양한 실험(계산, 사고실험)을 통해 가설(명제 후보)을 세우고, 다양한 시도들을 통해 가설을 입증(명제를 증명)하려고 시도하다가, 안되는 게 생기면 조건을 추가하거나 가설(명제)을 수정하여 다시 반복. 과학이랑 똑같아.