[일반] 괴델 업적 공부하고싶으면 수리논리학 공부하면 됨?

[익명(220.71)]

네

- dc official App

[뇨뷰512로져2(221.161)]

생산적인 수학이 더 재밌을걸요? 그런 형이상학적인 탐구보다

[수갤러 1(223.39)]

생산적인수학이 뭐임? 최적화?

[익명(220.71)]

괴델이 증명한거보면 재밌어보이던데 - dc App

[뇨뷰512로져2(221.161)]

아뇨? 대수기하학이나 범주론, 해석학, 위상수학(일반위상수학 제외), 이산수학같은 공학에 실용성을 갖는 분야도 좋고, 호몰로지대수학 또는 대수구조론에도 준군 제외한 마이너한 대수구조 빼고도 다른 모든 대수구조같은거... 이런식으로 사고방식의 개간을 해주는 순수수학이요

[뇨뷰512로져2(221.161)]

그리고 저도 수리논리학을 몽크나 hàjek밖에 안봐가지고 안다며 떠들기엔 한참 부족하긴 합니다만... 괴델은 현대 컴퓨터과학의 아버지중 한명이니 다른 의미로 실용적이라, 공부해서 좋을게 더 많을지도요? 함부로 수리논리학을 폄하하듯 말해서 죄송했습니다.

[구거싫어(mytop914)]

ㅇㅇ

[구거싫어(mytop914)]

책 잘찾아보면 괴델 업적 간단하게 다루는 책들있으니까 잘 찾아보셈

[뇨뷰512로져2(221.161)]

Petr hàjek Godel's 96 추천드려요. 다른 시리즈 읽기에도 바빠서 전부 다는 못 읽었지만, 진짜 명작이에요. 강추합니다, 그냥 가식없는 쓴 가르침이 뭔지 알려주는 책

[뇨뷰512로져2(221.161)]

쓴맛에 수학하죠 ㅎㅎ