91 citations · 594 across the 36 of their papers we have counts for
3 papers · 1 filter
Transcending the Limits of Turing Computability
Vadim A. Adamyan, Cristian S. Calude, Boris S. Pavlov
Hypercomputation or super-Turing computation is a ``computation'' that transcends the limit imposed by Turing's model of computability. The field still faces some basic questions,…
Passages of Proof
Cristian S. Calude, Elena Calude, Solomon Marcus
In this paper we propose a new perspective on the evolution and history of the idea of mathematical proof. Proofs will be studied at three levels: syntactical, semantical and pragm…
Randomness Relative to Cantor Expansions
Cristian S. Calude, Ludwig Staiger, Karl Svozil
Imagine a sequence in which the first letter comes from a binary alphabet, the second letter can be chosen on an alphabet with 10 elements, the third letter can be chosen on an alp…