X hits on this document

131 views

0 shares

0 downloads

0 comments

30 / 40

Proof Sketches

Text method satisfies the distinguishability condition, which alone doesn’t guarantee anything

but if I() is countable then ineffective identification in the limit is guaranteed – this is part of the reasons why anomalous text (generated by primitive recursive functions, using the generator naming relation) is identifiable.

Document info
Document views131
Page views131
Page last viewedSun Jan 22 01:54:48 UTC 2017
Pages40
Paragraphs326
Words1871

Comments