X hits on this document

78 views

0 shares

0 downloads

0 comments

27 / 40

Proof Sketches

Identification by enumeration An enumeration is an onto function  (this assumes is countable). At time t we find the first in that is in t. In the limit we return the name of the only element left in t, if collapsing uncertainty condition holds. To make this effective we need

an effective procedure to test (n) t

an effective procedure to find a name of (n)

Document info
Document views78
Page views78
Page last viewedSat Dec 03 15:47:41 UTC 2016
Pages40
Paragraphs326
Words1871

Comments