7 citations · 8 across the 2 of their papers we have counts for
3 papers
quant-ph2017
The Road to Quantum Computational Supremacy
Cristian S. Calude, Elena Calude
We present an idiosyncratic view of the race for quantum computational supremacy. Google's approach and IBM challenge are examined. An unexpected side-effect of the race is the sig…
nlin.CD2010★ 7 cited
The Complexity of Proving Chaoticity and the Church-Turing Thesis
Cristian S. Calude, Elena Calude, Karl Svozil
Proving the chaoticity of some dynamical systems is equivalent to solving the hardest problems in mathematics. Conversely, one argues that it is not unconceivable that classical ph…
math.HO2003★ 1 cited
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…