[일반] 수리논리학은 새로운 지식을 낳지는 않지?

[익명(223.39)]

보니까 똥을싸는게 수학이고
똥딲고 휴지를 관찰하는게 모형론같은 수리논리학임?
새로운똥을 만들어내는건 오직 수학뿐임?

[SimonPeytonJones(thecoqproofassistant)]

그건 아닌 걸로 아는데 ...

[ScARfaCE(kayuaao)]

아이 시발 비유를 뭐 그따구로 햌ㅋㅋㅋㅋㅋㅋㅋㅋ

[익명(125.129)]

수리논리학이 똥을 관찰하는거고 똥을 만드는 기관과 그 작용을 관찰하는건 수리논리논리학임?

[익명(2.222)]

수리논리 전공자는 아니지만 다른 수학 세부분야와 별 차이 없다고 생각한다. Descriptive set theory쪽 논문을 읽어본적이 있는데, 마찬가지로 그 분야에서 관심있어하는 문제들을 다루고 증명하려고 함. 이게 새로운 지식을 이끌어내는게 아니라면 도대체 뭘까.

[익명(125.186)]

요새는 descriptive complexity theory한다

[보렐보렐(dstisfun)]

ㅋㅋ