Без заголовка
По теореме.
1. Всё-таки она рассматривает
а) некоторую генеральную совокупность (а нам не надо решать генеральную совокупность задач, одни будут востребованнее других).
б) в оригинале говорит об оптимизации (а у нас задача классификации\регрессии)
2. Очень похоже, что она базируется на той же идее, что и отсутствие ниверсального архиватора (доказываемый аналогично теореме о несжимаемости пространства), что подтверждает беглый гуглёж.
Всё-таки нам нужны не все-все-все возможные входные данные, а очень конкретные частные случаи.
3. Более того, на конкретных частных случаях как правило БУДУТ СУЩЕСТВОВАТЬ некоторые закономерности, позволяющие избирательно использовать разумные эвристики.
ПС
Ну и мода на фразу "бесплатных обедов не бывает" пошла из Чикагской школы экономики, изначально я об этом, но не суть.