Sciweavers

103
Voted
AMC
2006
131views more  AMC 2006»
15 years 9 days ago
How much can analog and hybrid systems be proved (super-)Turing
Church thesis and its variants say roughly that all reasonable models of computation do not have more power than Turing machines. In a contrapositive way, they say that any model ...
Olivier Bournez