불완전성 정리 이해하려면 무슨책을 봐야 되나요?

[익명(61.205)]

뭐 괴델수니, 이 문장은 증명불가능하다느니 하는 교양레벨에서의 얘기 말고 좀 더 형식적으로 증명이 돼있는 걸 찾고 싶습니다.

[익명(223.38)]

웬만한 수리논리 입문 책에는 써있습니다.(물론 해외도서) 보통 산술 체계와 recursive function을 설명하는 게 주가 되고 또 그게 대중서적과의 핵심적 차이점이라고 봅니다

[익명(61.205)]

혹시 번역서는 없나요?

[익명(223.62)]

적어도 지금 나와있는 것 중에는 없을듯...