Radó showed that S is noncomputable for the same reason that Σ is noncomputable - it grows faster than any computable function.
Tibor Radó a montré que S n'est pas calculable pour la même raison que Σ ne l'est pas : elle croît plus rapidement que toute fonction calculable.
In the Wainer hierarchy, if a < β < ε0, then fβ dominates every computable function within time and space bounded by some fixed iterate fak.
Dans la hiérarchie de Wainer, si a < β < ε0, alors fβ domine toute fonction calculable en temps et en espace borné par une fonction itérée fak.
In the Wainer hierarchy, if then fβ dominates every computable function within time and space bounded by some fixed iterate fak.
Dans la hiérarchie de Wainer, si alors fβ domine toute fonction calculable en temps et en espace borné par une fonction itérée fak.
If the fundamental sequences are computable (e.g., as in the Wainer hierarchy), then every fa is a total computable function.
Si les suites fondamentales sont calculables (comme dans le cas de la hiérarchie de Wainer), chaque fa est une fonction calculable.
Every computable function that's provably total in Peano arithmetic is dominated by some fa with a < ε0 in the Wainer hierarchy.
Réciproquement, toute fonction calculable par une machine de Turing dont on peut démontrer l'arrêt dans l'arithmétique de Peano est dominée par un fa de la hiérarchie de Wainer, avec a < ε0.
Church-Turing's thesis states that every computable function is computable by a Turing machine.
La thèse de Church-Turing stipule que toute fonction calculable est calculable par une machine de Turing.
A property is non-trivial if it is neither true for every computable function, nor false for every computable function.
Une propriété est non triviale si elle n'est ni vraie pour toute fonction calculable, ni fausse pour toute fonction calculable.
Firstly, it is shown that any "reasonable" function may be captured by a set of tiles and that there are tilings whose quasiperiodicity function grows faster than any computable function.
Tout d'abord, on montre que toute fonction "raisonnable" peut être capturée par un ensemble de tuiles et qu'il existe des pavages dont la fonction de quasipériodicité croît plus rapidement que n'importe quelle fonction récursive.
Any neuronal culture assigned with a computable function (actual or intended) can go under the name of a neuronal device.
Radó's 1962 paper proved that if f: ℕ -> ℕ is any computable function, then Σ(n) > f(n) for all sufficiently large n, and hence that Σ is not a computable function.
Dans son article de 1962, Tibor Radó prouve que si f : N -> N est une fonction calculable, alors Σ(n) > f(n) pour tout n suffisamment grand.
If the fundamental sequences are computable (e.g., as in the Wainer hierarchy), then every fa is a total computable function.
Si les suites fondamentales sont calculables (comme dans le cas de la hiérarchie de Wainer), chaque fa est une fonction calculable.
Church-Turing's thesis states that every computable function is computable by a Turing machine.
La thèse de Church-Turing stipule que toute fonction calculable est calculable par une machine de Turing.