[일반] 수학은 무모순이 용납하는 어떤 정의도 허락합니다.

[익명(169.150)]

수학자들 주요 업무가 그중 무엇을 쓸지 선택하는 것인데, 언어를 어떻게 사용할 것인가에 대한 가능한 여러 가지 약속 중 무엇이 가장 아름다운 구조를 끌어내는지가 그 가치의 잣대가 됩니다

[수갤러 1(106.102)]

흠... 수학 해보긴 했나... 아름다움보다는 내적 유용성, 중요한 현상에 대한 간결하고 체계적인 이해를 표현할 수 있는게 더 중요한데? 그리고 수학자 주요 업무 중 저런걸 선택해 쓰는건 일부에 지나지 않고 주요?라고 하기엔 부족하다.

[익명(episode5899)]

허준이 교수님이 한 말 아닌가? ㅋㅋ - dc App

[익명(math5882)]

필즈상 수상자가 하는말이면 다 맞는말임?

[익명(math5882)]

근데 저 말도 맞는말이고 위에 애가 한말도 맞는말이라고보는데. 전자는 공간.기하.위상수학 후자는 응용수학 느낌인거고

[익명(episode5899)]

저말이 맞는지와는 별개로 원댓글의 "수학 해보긴 했나"에 대해서 허준이가 한말이라고 알려준것뿐임 - dc App

[Oo(175.208)]

발언은 맥락이 중요하지. 새로운 길에 나서는 대학 졸업생들에게 남기는 말이잖아. 그 맥락을 벗어나 수학 일반에 적용하는 건 의미 없는거야.

[수갤러 2(1.177)]

메이저 수학 분야에서는 모순을 허용하지는 않지 근데 마이너 분야인 수리논리학에서도 힙스터? 주제로 들어가면 모순을 허용하는 초일관 논리(Paraconsistent Logic)들 가령 LP(Logic of Paradox), 쌍대 직관논리(Dual intuitionistic logic), 연관 논리(Relevance logic), 선형 논리(Linear logic) 같은게 있고 초일관 집합론(Paraconsistent set theory) 같은거도 있다니까 저 발언 자체는 졸업축하를 위해서 자신이 연구해왔던 주류 수학의 관점에서 하는 말로 본다면 받아들일 수 있을거 같고 진짜 온갖분야 다 끌고오면 틀어지는거고

[익명(210.205)]

초일관 논리? 그딴거 연구하는건 시간낭비임 모순을 왜 허용하냐 ㅉㅉ

[익명(211.36)]

초일관논리가 수학은 맞음?