Order:
  1.  39
    Effective Fractal Dimensions.Jack H. Lutz - 2005 - Mathematical Logic Quarterly 51 (1):62-72.
    Classical fractal dimensions have recently been effectivized by characterizing them in terms of real-valued functions called gales, and imposing computability and complexity constraints on these gales. This paper surveys these developments and their applications in algorithmic information theory and computational complexity theory.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  21
    Connectivity Properties of Dimension Level Sets.Jack H. Lutz & Klaus Weihrauch - 2008 - Mathematical Logic Quarterly 54 (5):483-491.
    This paper initiates the study of sets in Euclidean spaces ℝn that are defined in terms of the dimensions of their elements. Specifically, given an interval I ⊆ [0, n ], we are interested in the connectivity properties of the set DIMI, consisting of all points in ℝn whose dimensions lie in I, and of its dual DIMIstr, consisting of all points whose strong dimensions lie in I. If I is [0, 1) or.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  3
    Baire Category and Nowhere Differentiability for Feasible Real Functions.Josef M. Breutzmann, David W. Juedes & Jack H. Lutz - 2004 - Mathematical Logic Quarterly 50 (45):460-472.
    A notion of resource-bounded Baire category is developed for the class PC[0,1] of all polynomial-time computable real-valued functions on the unit interval. The meager subsets of PC[0,1] are characterized in terms of resource-bounded Banach-Mazur games. This characterization is used to prove that, in the sense of Baire category, almost every function in PC[0,1] is nowhere differentiable. This is a complexity-theoretic extension of the analogous classical result that Banach proved for the class C[0, 1] in 1931.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation