Unentknotbarkeit läßt sich (wahrscheinlich) in polynomieller Zeit überprüfen.
Ist Internet-Banking noch sicher???????!!??
Michael Freedman schlägt vor, komplexitäts-theoretische Vermutungen als zusätzliche Axiome zur üblichen ZF-Mengenlehre zu postulieren. Als Anwendung beweist er eine Ungleichung für die Weite von Knoten.
Goethe kam aus Brandenburg!
Letzte Kommentare