Итак, как для компьютерных, так и для естественных языков справедливо: язык направляет мысли, но не предписывает их.
По Черчу, любой язык, на котором можно смоделировать машину Тьюринга, является достаточно мощным, чтобы осуществить любой реализуемый алгоритм.
Тем самым споры об относительной «мощности» языков программирования — если под мощностью мы понимаем «способность решать задачи», — оказываются бессмысленными.