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 |
||
| Line 2: | Line 2: | ||
* stillwell's reverse mathematics, p. 77 | * stillwell's reverse mathematics, p. 77 | ||
* Hay 2007, p. 31 | * Hay 2007, p. 31 | ||
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 | |||
Revision as of 20:32, 25 March 2019
- http://jdh.hamkins.org/alan-turing-on-computable-numbers/
- stillwell's reverse mathematics, p. 77
- Hay 2007, p. 31
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