Artiklen indeholder en del vrøvl - sikkert som følge af forsimplinger.
For det første, kan sorteringsgitternet altid løses i endelig tid. Sorteringsgitternet kan foretages i tid O(n log n) eller O(n) afhængig af maskinmodel. Uanset hvor stort problemet er, vil det kunne løses hurtigt og altid terminers. Hele pointed med halting problematic er, det Ikke kan løses effektivt. Halting problemet er et af de lette svære problemer, og er semi-afgørligt. Dvs., man kan lave en algoritme, som kan svare ja hvis svaret er ja, men ikke nødvendigvis giver et svar hvis svaret er nej (det er endda simpelt: kør programmet, når det terminers, svar ja). Finten er, der ikke er bogen garanti for hvornår man får et svar, og man ved ikke om svaret er nej eller det bare tager lang tid at finde svaret.
Beviset for uafgørlighed af halling problemet er sågar simpelt. Antag vi har et program P, der afgør halling problemet for alle programmer. Lav nu et program, der tager et input, kører P på det og hvis P siger ja, lav en uendelig løkke. Ellers terminer. Kør nu det nye program på sig selv. P kan ikke svare rigtigt. Hvis P siger programmet terminerer, vil det loope og hvis P siger, programmet looper, vil det terminere. Ergo kan P ikke afgøre terminering for alle programmer.