| 1. | Kolmogorov complexity is not computable.
La complexité de Kolmogorov n'est pas calculable. |
| 2. | Thirdly , all this should also be calculable in good time.
troisièmement , tout cela devrait également être calculable ponctuellement. |
| 3. | It is not computable, but it can be approximated.
Ce n'est pas calculable, mais on peut en faire une approximation. |
| 4. | Enlargement must , though , be on a sound financial footing and also manageable in the long term.
cependant , l'élargissement doit recevoir un financement solide et être calculable à long terme. |
| 5. | 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. |
| 6. | 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. |
| 7. | Any other factors taken as a basis for measurement cannot be clearly quantified and open the way to arbitrary decision-making.
tout autre facteur que l'on prendrait comme base d'évaluation n'est pas clairement calculable et ouvre grand la porte à l'arbitraire. |
| 8. | If the fundamental sequences are computable (e.g., as in the Wainer hierarchy), then every fα is a total computable function.
Si les suites fondamentales sont calculables (comme dans le cas de la hiérarchie de Wainer), chaque fα est une fonction calculable. |
| 9. | A computational universe is proposed by Jürgen Schmidhuber in a paper based on Zuse's 1967 thesis.
Un univers informatique est proposée par Jürgen Schmidhuber dans un document basé sur l'hypothèse de Konrad Zuse (1967) que l'évolution de l'univers est calculable. |
| 10. | In the computational model that assumes that the floor function is computable in constant time the problem can be solved in O(n log log n) time.
Si on suppose que la fonction partie entière est calculable en temps constant, alors le problème se résout en O(n log log n). |
