8 found
Order:
Disambiguations
Peter Hertling [7]Peter H. Hertling [1]
  1. Complexity Issues for Preorders on Finite Labeled Forests.Victor Selivanov & Peter Hertling - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 165-190.
  2.  10
    A Real Number Structure That is Effectively Categorical.Peter Hertling - 1999 - Mathematical Logic Quarterly 45 (2):147-182.
    On countable structures computability is usually introduced via numberings. For uncountable structures whose cardinality does not exceed the cardinality of the continuum the same can be done via representations. Which representations are appropriate for doing real number computations? We show that with respect to computable equivalence there is one and only one equivalence class of representations of the real numbers which make the basic operations and the infinitary normed limit operator computable. This characterizes the real numbers in terms of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  49
    Embedding Quantum Universes in Classical Ones.Cristian S. Calude, Peter H. Hertling & Karl Svozil - 1999 - Foundations of Physics 29 (3):349-379.
    Do the partial order and ortholattice operations of a quantum logic correspond to the logical implication and connectives of classical logic? Rephrased, How far might a classical understanding of quantum mechanics be, in principle, possible? A celebrated result of Kochen and Specker answers the above question in the negative. However, this answer is just one among various possible ones, not all negative. It is our aim to discuss the above question in terms of mappings of quantum worlds into classical ones, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  8
    A Banach–Mazur Computable but Not Markov Computable Function on the Computable Real Numbers.Peter Hertling - 2005 - Annals of Pure and Applied Logic 132 (2-3):227-246.
    We consider two classical computability notions for functions mapping all computable real numbers to computable real numbers. It is clear that any function that is computable in the sense of Markov, i.e., computable with respect to a standard Gödel numbering of the computable real numbers, is computable in the sense of Banach and Mazur, i.e., it maps any computable sequence of real numbers to a computable sequence of real numbers. We show that the converse is not true. This solves a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  3
    Is the Mandelbrot Set Computable?Peter Hertling - 2005 - Mathematical Logic Quarterly 51 (1):5-18.
    This work is concerned with the question whether the Mandelbrot set is computable. The computability notions that we consider are studied in computable analysis and will be introduced and discussed. We show that the exterior of the Mandelbrot set, the boundary of the Mandelbrot set, and the hyperbolic components satisfy certain natural computability conditions. We conclude that the two-sided distance function of the Mandelbrot set is computable if the famous hyperbolicity conjecture is true. We also formulate the question whether the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  9
    Preface: MLQ ‐ Math. Log. Quart. 4–5/2004.Vasco Brattka, Peter Hertling, Ker-I. Ko & Ning Zhong - 2004 - Mathematical Logic Quarterly 50 (4‐5):327-328.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  6
    Preface: MLQ ‐ Math. Log. Quart. Supplement 1/2002.Vasco Brattka, Peter Hertling, Mariko Yasugi & Ning Zhong - 2002 - Mathematical Logic Quarterly 48 (S1):III-III.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  1
    Preface: MLQ - Math. Log. Quart. 4–5/2004.Vasco Brattka, Peter Hertling, Ker-I. Ko & Ning Zhong - 2004 - Mathematical Logic Quarterly 50 (45):327-328.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark