Wir haben gerade letzte Woche unsere Lektion "Zeitkonstruierbarkeit" im Unterricht beendet und zum Beispiel gezeigt, dass vollständig zeitkonstruierbar sind, dh es gibt eine (deterministische Mehrband-Turing-Maschine), die für n gegeben ist, hält nach genau f ( n ) Schritten an und fragt nur, ob wir jetzt beweisen könnten, dass n ! ist voll zeitkonstruierbar (und weitergegangen).
Ich bin nicht sicher, wie der Beweis abläuft, aber ich denke, er muss bis zu einem gewissen Grad Zeitkonstruierbarkeit oder eine Identität mit Fakultäten verwenden, da wir gezeigt haben, dass n k mit n k = n + ∑ i (vollständig) zeitkonstruierbar ist = k - 1 i = 1 ( n - 1 ) n i .
Hinweise wären auch sehr willkommen. Danke im Voraus.