Алан Тјуринг (Alan Turing), математичарот кој меѓу останатите е основач на компјутерската наука, во 1936 година покажа дека е невозможно да се состави таков алгоритам кој ќе докаже дека одреден компјутерски програм ќе работи беспрекорно сé до неговото завршување. Но, сега од Microsoft се обидуваат да му противречат на овој нерешлив парадокс. За момент да ги стават во сенка умовите како Курт Гедел или, пак, Дејвид Хилберт. Microsoft, со своето софтверско решение "Терминатор", тврди дека со прецизност од 99,9% може да покаже дали еден управувачки софтвер ќе ја заврши работата за која е наменет. Колку предизвикувачки. Но, дали, всушност, ова се пркоси со она што Тјуринг го докажа? Во статијата што следува ќе се обидам на некој начин да ви ги разјаснам овие противречности.