Vladimir_Nesov comments on Metaphilosophical Mysteries

[Vladimir_Nesov]

Is there a good exposition of this semantics (more generally, for algorithmic probability)?