André Nies
- Published in print:
- 2009
- Published Online:
- May 2009
- ISBN:
- 9780199230761
- eISBN:
- 9780191710988
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199230761.003.0009
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy
After a brief introduction to higher computability theory, tools from this area are used to obtain mathematical notions of randomness. Many directions from the previous chapters are revisited in this ...
More
After a brief introduction to higher computability theory, tools from this area are used to obtain mathematical notions of randomness. Many directions from the previous chapters are revisited in this new context. Results often turn out different. For instance, a set that is low for higher Martin–Löf randomness is hyperarithmetical. The chapter studies the strong notion of Pi-11 randomness, which has no counterpart in the classical theory.Less
After a brief introduction to higher computability theory, tools from this area are used to obtain mathematical notions of randomness. Many directions from the previous chapters are revisited in this new context. Results often turn out different. For instance, a set that is low for higher Martin–Löf randomness is hyperarithmetical. The chapter studies the strong notion of Pi-11 randomness, which has no counterpart in the classical theory.