Wie können Theorien und Anfragen der Informatik gelöst werden?
Es ist wahrscheinlich möglich zu beweisen, dass P ≠ NP ist, dass Einwegfunktionen existieren und dass Paritätsspiele nicht in Polynomzeit gelöst werden können (ja, ich habe diese Liste durchgelesen ), aber wie würden wir vorgehen, um eine dieser Funktionen zu beweisen? Dinge? Gab es Beweise für...