Microsoft Has the Answer to the Turing Problem

Most every computer science student knows or has heard of the Turing problem or Halting problem.  In a nut shell, Alan Turing proved that a general algorithm to prove the halting problem cannot exist for all possible program-input pairs.  Microsoft, on the other hand, has quietly come up with a method of putting to rest this troublesome question as shown in the following screen shot:

When in doubt, just throw up a blue screen.  Problem solved.