1On Demons and Oracles

The concept of digital computation which emerged from the works of Church, Turing and Gödel is an important achievement of the last century. A large variety of mathematical models of computers and computations have been de-veloped. Turing machines, lambda-calculus, com-binatory logic, recursive functions, Markov al-gorithms, register machines are among the best known classical models. Newer models range from programming-oriented models including concurrent models like actor model and process calculi to quantum Turing machines, DNA com-puters, molecular computers, wetware computers and many others. A remarkable result was grad-ually proved: in spite of the apparent diversity