Als «asymptotics» getaggte Fragen

18
Ist es möglich zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist?

Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie...

12
Entscheidende Theorie des asymptotischen Wachstums

Was sind die bekannten Grenzen der Entscheidbarkeit des Vergleichs der Wachstumsrate von Funktionen von ? Ich denke hier an die Entscheidbarkeit von Fragen wie "Ist x x ∼ 2 ⌊ x lg ( x + 2 ) ⌋ ?" oder "Ist 2 lg * x ∈ O ( lg lg x ) ?".N→NN→N\mathbb{N} \to \mathbb{N}xx∼2⌊xlg(x+2)⌋xx∼2⌊xlg⁡(x+2)⌋x^x...