Bug in Listen?

* Beispiel: Programm T, das beliebiges Programm P dahingehend überprüft, ob P terminiert (d.h. nicht endlos rechnet)
** Behauptung: T kann (auf einem Computer) nicht existieren
** Beweis: Annahme „T existiert“; dann schreibe Programm: 
@@@
program P
  if T(P) then
    while true do
    end
  end
@@@
** P terminiert nur, wenn T feststellt, dass es nicht terminiert (und	umgekehrt) 
** Widerspruch! T kann es nicht geben!

Hm, seltsam. Auf Anhieb finde ich keine Fehlerquelle, da muss ich mal genauer nachforschen woher das kommt.