튜링 기계의 공경

나는 계산 이론에서 괴델 라이 제이션 과정을보고있었습니다. 나는 고델 (Gödel) 번호 매기기 개념을 이해할 수 있었지만 계산 이론에서 그 중요성을 이해할 수 없었습니다. 누구나 좋은 재료를 지적하거나 그 중요성을 지적 할 수 있습니까?

formal-languages turing-machines

— 사용자
소스

컴퓨터 과학에서 고델 (Gödel) 번호 매기기는 다소 "원본 코드"와 "바이너리 형식의 데이터"를 의미하므로 이것이 사실임을 확신 할 수 있다면이 의미가 분명해지기를 바랍니다.

현대 컴퓨터의 존재에 오기 전에, 사람들은 예를 들어, 누군가가 계산하는 기계를 만들어에 대해 (내가 아닌 역사를 당신에게 이야기를하고있다)의 컴퓨팅 장치 단일 목적을 만든 , 그리고 다른 사람이 계산하는 기계를 만들어 베셀 기능. 튜링의 원래 통찰력은 하나의 머신 ( 유니버설 머신) 만 만들면된다는 것입니다.이 머신은 모든 머신에 대한 설명을 입력하고 시뮬레이션했습니다. 그러나 "기계 설명"이란 무엇입니까? 엔지니어는 회로 설계 및 조립 지침을 생각할 수 있습니다. 그러나 그것은 매우 복잡하고 쉽게 기계에 제시되지 않습니다. 그리고 아마도 더 복잡한 기계는 더 복잡한 설명이 필요합니까? $arctan$

$0$ $1$

$0$ $1$ $0$ $1$ $0$ $1$

실제로 우리가로 알려진 다양한 형식의 프로그램과 데이터를 표현 .java, .py, .mp3, .jpg더 쉽게 수학 내에서 조작되기 때문에 논리와 사람들 컴퓨팅의 이론적 등 좋은 오래된 숫자 스틱 선호합니다.

$0$ $1$ $0$ $1$

— 안드레이 바우어
소스

이것은 분명하다. 이것들에 관한 기술 자료는 어디서 구할 수 있습니까?

— user5507

"이것들"은 무엇을 의미합니까?

— Andrej Bauer

막연한 영어로 죄송합니다. Turing machine에서 Godelization에 대한 증거가 포함 된 자료를 찾고있었습니다. 고델 넘버링의 중요성에 대해서도 알려주십시오. (숫자에서 시퀀스 생성)

— user5507

Martin Davis의 저서 "Computability and Unsolvability"는 Turing Machines을 매우 상세하게 다루고 있습니다. 당신이 원하는 것이 무엇인지 잘 모르겠습니다.

— Andrej Bauer