Der Satz von Cook gehört ja eigentlich zur Komplexitätstheorie. Daraus würde ich eher schließen, dass sich der Mann damit und nicht mit der Berechenbarkeitstheorie beschäftigt (zumal die ein schon recht abgeschlossenes Gebiet darstellt). Allerdings weiß ich nicht wirklich, ob der Autor hier nicht doch recht hat... --Coma 22:08, 2. Feb 2005 (CET)

Ich sehe das genauso wie Du und ändere es gleich entsprechend.--JFKCom 13:12, 4. Dez 2005 (CET)