| 1. | It can be proven that the Kolmogorov complexity is not computable.
|
| 2. | Similarly, most subsets of the natural numbers are not computable.
|
| 3. | Computable real functions map computable real numbers to computable real numbers.
|
| 4. | Computable real functions map computable real numbers to computable real numbers.
|
| 5. | Computable real functions map computable real numbers to computable real numbers.
|
| 6. | He contributed to the development of modern Computable General Equilibrium models.
|
| 7. | He also explicitly discusses the more restricted ensemble of quickly computable universes.
|
| 8. | However, the computable numbers are rarely used in practice.
|
| 9. | Therefore, almost all real numbers are non-computable.
|
| 10. | This argument provides a total computable function that is not primitive recursive.
|