[일반] 수학과에서 불완전성 정리 배우나요?

[익명(223.62)]

공머생인데 괴델의 불완전성 정리에 대한 책 읽고 충격먹음. 수학에 대한 인식자체를 바꿨다고 해야되나 형식체계내에 증명불가능한 명제가 있다는게  신기함

- dc official App

[익명(223.38)]

Set theory 수업에서 살짝 다루는 교수들도 있는거같고

[ㅅㄲㅁㅇ(as1392)]

집합론할때 수리논리를 하시는 교수님이면 배울거고 아니면 안배움. 근데 안알려주더라도 대충은 뭔내용인이 들어본 사람이 많겠지

[익명(175.223)]

근데 말이 그래서 그렇지 철학자체는 별거 없는 정리. 파급력은 근데 엄청 크고.

[크랑랑크앙랑(skybluepian)]

집합론 들어도 웬만해선 잘 안다룰듯 - dc App