Короче, если выберем простую нумерацию МТ (например, по возрастанию длины + лексикографическую сортировку среди одинаковых длин), то по записи МТ мы сможем легко находить ее номер, а значит разрешимость номеров будет эквивалентна разрешимости записей МТ. А последнее неразрешимо, читайте про Halting Problem.