I would argue that no analog or analog/hybrid computer can be TC, almost by definition. If you accept this (arguable) statement, then one can argue further that

I would argue that no analog or analog/hybrid computer can be TC, almost by definition. If you accept this (arguable) statement, then one can argue further that there is a class of problem solvable by analog machines but not TC machines. True random numbers is one example. (Disclaimer: I am no computer scientist - this is just a personal musing)