X hits on this document

82 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 views82
Page views82
Page last viewedSun Dec 04 06:39:15 UTC 2016
Pages40
Paragraphs326
Words1871

Comments