Switch to: Citations

Add references

You must login to add references.
  1. Kolmogorov complexity and set theoretical representations of integers.Marie Ferbus-Zanda & Serge Grigorieff - 2006 - Mathematical Logic Quarterly 52 (4):375-403.
    We reconsider some classical natural semantics of integers in the perspective of Kolmogorov complexity. To each such semantics one can attach a simple representation of integers that we suitably effectivize in order to develop an associated Kolmogorov theory. Such effectivizations are particular instances of a general notion of “self-enumerated system” that we introduce in this paper. Our main result asserts that, with such effectivizations, Kolmogorov theory allows to quantitatively distinguish the underlying semantics. We characterize the families obtained by such effectivizations (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Highly Random Number.Veronica Becher & Sergio Daicz - unknown
    many symbols. We define o, as the probability that an arbitrary machine be circular and we prove that o, is a random number that goes beyond..
    Download  
     
    Export citation  
     
    Bookmark   5 citations