Warum ist log (n) eine raumkonstruierbare Funktion?

Laut "Konstruierbare Funktion" , Wikipedia:

In der Komplexitätstheorie ist eine zeitkonstruierbare Funktion eine Funktion f von natürlichen Zahlen zu natürlichen Zahlen mit der Eigenschaft, dass f ( n ) von einer Turingmaschine in der Zeit der Ordnung f ( n ) aus n konstruiert werden kann .

Aber $\log\left(n\right)$ wird nicht auf natürliche Zahlen abgebildet, sondern auf reelle Zahlen.

Warum ist $\log\left(n\right)$ trotzdem eine raumkonstruierbare Funktion?

Denn wenn wir schreiben $\log n$ Es ist entweder in einem Kontext, in dem es keine Rolle spielt (z. B. Landau-Grenzen) oder mit der impliziten Bedeutung von $\lfloor \log n \rfloor$ oder $\lceil \log n \rceil$.

Es ist sicherlich nicht sinnvoll, über konstruierbare Funktionen mit realer Reichweite zu sprechen. Ich würde annehmen, dass Ihre Quelle darüber spricht $\lfloor \log n \rfloor$ oder $\lceil \log n \rceil$.