Basically the title.
Wdym by...
- "[more] powerful than a Turing machine"?
- "violated the Church-Turing [thesis]"?
I do not see how something could "violate" the Church-Turing thesis (did you mean that by the "Church-Turing hypothesis"?). Could you explain more in detail what you mean by that?

It is about formalizing an informal concept. One could argue that this is not the correct rendering (such as
László Kalmár did in 1959). And I guess you could violate it by finding an "effectively calculable function" that is not computable by Turing machines? But no such thing has been found so far.
by
No