A Turing-gép megalkotásának folyamata, annak jellemzése és fontossága az eldönthetőségi probléma terén.