[일반] 괴델에 대해서 배우려면 뭘 봐야 함

[Pie.(joohong2022)]

일단 논리학이랑 수리논리 공부를 해야 한다는 건 알겠는데 괴델의 불완정성 원리를 다루는 교과서가 뭐뭐 있는지를 모르겠음

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[Pie.(joohong2022)]

교양서는 레베카 골드스타인 책을 함 봐서 수학 교과서로 배우고 싶은데

[Pie.(joohong2022)]

그쪽은 수리논리학 보는 사람이 별로 없던데

[익명(59.26)]

https://link.springer.com/book/10.1007/978-3-030-73839-6

[익명(39.7)]

불완정성정리만 보자면 우리나라 유튜브에 증명해놓은 게 있는데 이걸로 이해가 가능한지 증명이 완벽히 옳은지 확실한진 모르겠다 미르카 수학에 빠지다 괴델편이 정말로 괴델이 만든 원시재궈적 술어와 함수 46가지를 설명하나 설명이 부족함 peter smith의 introduction to godel theorem이 있는데 절판됐지만 저자가 자기 블로그에 올려놈

[익명(59.26)]

수학과 학생이라면 저걸 제일 많이 볼듯? 진짜 볼지는 모르지만 ㅋㅋ

[Pie.(joohong2022)]

에빙하우스.. 는 개어렵다고 들었는데

[익명(39.7)]

난 이걸 볼생각인데 아직 안봐서 잘은 몰겠지만 굉장히 구체적인건 확실함

[Pie.(joohong2022)]

오

[익명(39.7)]

라니3010 유튜브채널가면 증명이 있음 괴델의 실제정리를 이처럼 구체적으로 다룬건 영어로도 없음 난 도움 많이 됬지만 아직 증명의 이해에는 이르지 못함 호프스테텡디 괴델 에셔 bach는 형식적 체계에 익숙하게 만들어주고 괴델의 정리에 대해 꽤나 많은 정보를 담고 있지만 증명의 얼개를 가장 구체적으로 제공하는 교양서 이상은 아니지만 도움은 됨

[익명(59.26)]

https://youtu.be/rjV4AO0iIVY?feature=shared
이
영상 한번 보시는거 추천 맘에 들면 다른 강의도 봐도 좋고요~