[일반] 수학에서 엄밀함은 그냥 도구,수단인거?

[익명(39.7)]

엄밀함은

직관을 증명해주는 도구,수단인거고

직관이 더중요한것임?

엄밀함만으로 뭔가를 할 순 없잖아

- dc official App

[귀여운아기토끼(thecoqproofassistant)]

그럼 직관만으로는 뭘 할 수 있나요? 저는 아니라고 생각해요 ㅇㅅㅇ

[ExHentai.org(nsa15464)]

단순히 도구가 아니라 그것 자체도 수학의 일부라고 봐야지. 증명의 gap을 메우는 과정을 하나하나 thm으로 쓴다면 그 thm 하나하나도 전부 수학의 일부라고 봐야겠지. 그러니 엄밀성은 수학의 본질적인 부분이라고 생각함.

[장애인(223.194)]

엄밀함은 이제 그 직관을 씨부려도된다는 정당성을 부여해주는 고도의 성실성이 따르는 작업 같음