He used this device to prove that even in those more powerful systems, undecidability is still present.
Он је користио овај уређај да докаже да чак и у оним моћнијим системима, неодлучив задатак је и даље присутан.