@inbook {IOPORT.05796115,
    author       = {Levin, Leonid A.},
    title        = {Arcane information, solving relations, and church censorship.},
    year         = {2010},
    booktitle    = {Stabilization, safety, and security of distributed systems. 12th international symposium, SSS 2010, New York, NY, USA, September 20--22, 2010. Proceedings},
    isbn         = {978-3-642-16022-6},
    pages        = {1},
    publisher    = {Berlin: Springer},
    doi          = {10.1007/978-3-642-16023-3_1},
    abstract     = {Summary: Church-Turing Thesis fails for problems that allow multiple answers: many easily solvable problems allow only non-recursive solutions. Its corrected version is: Physical and Mathematical Sequences have Little Common Information. This requires extending Kolmogorov's concept of mutual information to infinite strings. This is tricky; the talk will survey these and other related issues. Related Information can found at: \url{http://arxiv.org/abs/cs.CC/0203029}.},
    identifier   = {05796115},
}