46.36 맥컬럭-피츠 모델의 계산 이론적 의의와 처치-튜링 명제(Church-Turing Thesis)