Was bei diesem Artikel komplett ignoriert wird, ist die Zertifizierung im Bezug auf die theoretische Informatik. Dort ist ein Zeritifikat ein Nachweis von Eigenschaften in Bezug auf einen Algorithmus. Ein praktisches Beispiel wäre, dass man nachweist, dass ein Programm die Ausgabe "hallo" liefert. Hier gehört auf jeden Fall ein Link zum Satz von Rice hin, genauso wie ein Veweis auf das Halteproblem und eine kurze Erläuterung dazu, dass die Zertifizierung von Algorithmen im allgemeinen nicht möglich ist. Wäre schön, wenn jemand den Artikel mal demhingehend erweitern könnte :o) --IP-Adresse