Bokay

The Bulletin of Symbolic Logic

de: AAVV

Sinopse

«An insight arising from the study of algorithmic randomness is that anti-random-ness is a notion of computational weakness. While the major question driving the development of effective randomness was “what does it mean for an infinite binary sequence to be random?” , fairly early on Solovay [52] defined the notion of K-trivial sets, which are the opposite of Martin-Löf random sequences in that the prefix-free Kolmogorov complexity of their initial segments is as low as possible. While Chaitin [9, 10] showed that each K-trivial set must be A;, a proper understanding of these sets has only come recently through work of Nies and his collaborators (see for example [23, 30, 47, 48]. This work has revealed that K-triviality is equivalent to a variety of other notions, such as lowness for Martin-Löf randomness, lowness for K, and being a base for 1-randomness (for the latter see [39]). These other notions express computational weakness as an oracle: they say that a set is too weak to compute better-than-computable compressions, patterns in randoms, or null sets covering the reals computing it.»

Limpar

Condição dos Exemplares Disponíveis

Características
Como novo não fosse uma pequena mossa na capa. 289 páginas.

Sobre o livro

NÃO ENCONTRA O LIVRO QUE PRETENDE?

Faça o seu pedido aqui

Encomendar

* Sem sinal ou cartão de crédito

Não Deixe
As Oportunidades Voar

‎‏‏‎ ‎‏‏‎ Muitos dos títulos apenas têm um exemplar disponível‎‏‏‎
‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎
‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎‏‏‎