나도 튜링머신 논리적으로 증명한거 그런거 이해하고 싶다.

[익명(211.58)]

수알못이라 책을 봐도 모르겠어

대딩때 논리학 수업에서 괴델의 불완전성 정리 약식 증명 배우긴 했었는데

다 까먹어서 지금은 논리기호만 봐도 작아진다...

수학 잘하는 사람이 부럽다

[씨알메리(crmerry)]

오퉈뫄톼

[세브(175.223)]

\"모든 TM 에뮬레이션 가능 GTM 존재증명\"같은? - DCW

[세브(175.223)]

GTM? UTM? - DCW

[세브(175.223)]

세브가 개떡같이 얘기해도 찰떡같이 알아들으라에요! - DCW

[d(220.118)]

사실 튜링머신은 괴델이 사용했던 primitive recursive function 을 구조적으로 동일한, 그러니 기계친화적인 방식으로 번역한거임. 괴델이 저걸로 불완전성 정리 증명하고 나서 몇년후에 튜링이 저 튜링머신 사용해서 불완전성 정리 다시 증명해보였지. 글고 논리학이 어려운거 맞음. 갠적으로 수학보다 어려운거같음.(증명이 문제가 아니고 개념적으로 이해하는 허들이 많이 높은듯...)