User:IssaRice/Computability and logic/Computability of the uncountable: Difference between revisions
No edit summary |
No edit summary |
||
| 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: | talk about: | ||
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