Jump to content

Talk:Algorithmically random sequence

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by CBM (talk | contribs) at 23:41, 23 June 2006 (RAND is Sigma^0_2). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

RAND is Sigma^0_2

It is correct to say that RAND is Sigma^0_2, because there is a Sigma^0_2 formula that defines the class of 1-random real numbers. It is not true that every random real is itself Sigma^0_2; there are 1-random reals of arbitrarily high Turing degree. CMummert 23:41, 23 June 2006 (UTC)[reply]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Algorithmically_random_sequence&oldid=60255478"