Kanya ding pinatunayan na walang solusyon sa Entscheidungsproblem sa pamamagitan ng pagpapakita na ang paghintong problema ( halting problem ) sa isang makinang Turing ay hindi madedesisyonan o hindi malalaman kung ito ay hihinto.
