어느 정도의 선수과목이 필요할까요괴델의 불완전성 정리까진 알아야 초급논리학을 끝냈다고 할 수 있다고 하여 그 수준까지 공부해볼까 생각중입니다철학과 기호논리학 정도 공부한 수준이구요수학과 집합론 정도까진 추가로 공부할 용의가 있습니다그 이상의 수리논리를 요구하면 좀 부담이고...
그정도면 될듯? 호프스테터가 쓴 괴델의 불완전성 정리 읽어보세요.
그 책 두번정도 읽으면 감이 올거에요 어떤식으로 증명하는지.
거기서 더 흥미가 생기면 완전한 정리를 찾아서 읽으보시면 돼요.