8 found
Sort by:
  1. Cristian S. Calude, WHAT IS. . . A Halting Probability?
    Turing’s famous 1936 paper “On computable numbers, with an application to the Entscheidungsproblem” defines a computable real number and uses Cantor’s diagonal argument to exhibit an uncomputable real. Roughly speaking, a computable real is one that one can calculate digit by digit, that there is an algorithm for approximating as closely as one may wish. All the reals one normally encounters in analysis are computable, like π, √2 and e. But they are much scarcer than the uncomputable reals because, as (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Cristian S. Calude, Ludwig Staiger & Sebastiaan A. Terwijn (2006). On Partial Randomness. Annals of Pure and Applied Logic 138 (1):20-30.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Cristian S. Calude (2005). Generalisation of Disjunctive Sequences. Mathematical Logic Quarterly 51 (2):120.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Cristian S. Calude (2002). Incompleteness, Complexity, Randomness and Beyond. Minds and Machines 12 (4):503-517.
    Gödel's Incompleteness Theorems have the same scientific status as Einstein's principle of relativity, Heisenberg's uncertainty principle, and Watson and Crick's double helix model of DNA. Our aim is to discuss some new faces of the incompleteness phenomenon unveiled by an information-theoretic approach to randomness and recent developments in quantum computing.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  5. Cristian S. Calude & Gheorghe P.?un (2000). Computing with Cells and Atoms in a Nutshell. Complexity 6 (1):38-48.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Cristian S. Calude & Gheorghe Păun (2000). Computing with Cells and Atoms in a Nutshell. Complexity 6 (1):38-48.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Cristian S. Calude, Peter H. Hertling & Karl Svozil (1999). Embedding Quantum Universes in Classical Ones. 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)  
     
    My bibliography  
     
    Export citation  
  8. Cristian S. Calude (1997). A Genius's Story: Two Books on Gödel. Complexity 3 (2):11-15.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation