User:IssaRice/Computability and logic/Computability of the uncountable: Difference between revisions
(Created page with "* http://jdh.hamkins.org/alan-turing-on-computable-numbers/ * stillwell's reverse mathematics, p. 77 * Hay 2007, p. 31") |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 2: | Line 2: | ||
* stillwell's reverse mathematics, p. 77 | * stillwell's reverse mathematics, p. 77 | ||
* Hay 2007, p. 31 | * Hay 2007, p. 31 | ||
* Sterkenburg. "The Foundations of Solomonoff Prediction" p. 32 | |||
talk about: | |||
* computability of individual objects (e.g. a single real number or single rational number) | |||
* computability of sets of objects | |||
* computability of functions between sets | |||
Latest revision as of 04:02, 31 March 2019
- http://jdh.hamkins.org/alan-turing-on-computable-numbers/
- stillwell's reverse mathematics, p. 77
- Hay 2007, p. 31
- Sterkenburg. "The Foundations of Solomonoff Prediction" p. 32
talk about:
- computability of individual objects (e.g. a single real number or single rational number)
- computability of sets of objects
- computability of functions between sets