Gödel and the limits of logic
 

[Link nur für registrierte und freigeschaltete Mitglieder sichtbar. Jetzt registrieren...]

also nen programm erstellen, dass mit den viren zusammenarbeitet. bring sowas mal den leuten bei

Na ja zu nächst heißt es erstmal das es direkt mit dem OS zusammenarbeiten muss und das OS verändern muss, damit es alle Viren entdecken könnte.

Sehr interessanter Text und tolles Zitat :T

Würde mich mal interessieren, auf welches Jahr dieses Zitat datiert wird, da Kurt Gödel bereits 1978 gestorben ist und die Thematik nach wie vor aktuell ist.

Ich bin mir nicht mal Sicher ob das Zitat von Gödel ist, viel mehr von der Person die den Text verfasst hat.

Ist das nicht common sense? Mit einem ring3 Scanner wird man nun mal keine ring0 malware finden können (wenn es nicht absolut bescheuert geschrieben ist). Das ist doch hinlänglich bekannt und stellt nun keine Revolution dar?!
Wie aktuell die Aussagen einiger grossen Mathematiker (und später Informatiker) sind kann man doch an sehr vielen Leuten sehen wie beispielsweise Turing oder von Neumann, die mit ihren Konzepten noch immer den Grundbaustein moderner Systeme legen.

Das ist eine ziemlich beschränkte Logik. Man kann z.B. Gödels Unvollständigkeitstheorie nicht für heutige Anti-Viren-Programme verwenden. Es wird davon ausgegangen, dass man nicht in ein Programm hineinsehen kann, welche Absichten es hegt. Braucht man auch nicht, denn jeder Virus hat ja die Absicht etwas zu zerstören und versucht diese Absicht nachzukommen. Aber für die Zerstörung oder Löschung gibt es ein eindeutiges Muster, was ersehbar ist. Diese Muster kontrollieren die Anti-Viren-Programme und können auch so Viren anhand diesen Schadcodes erkennen. Dafür gibt es viele andere sichere Methoden zur Erkennung, die sich sehr ähneln.