"Есть довольно много примеров из истории науки, когда оказывалось, что придуманные математиками чисто "умственные" конструкции вдруг находили применение, которого изначально никто не ожидал.
Я вообще-то не люблю приводить исторические примеры, но бегло всё-таки упомяну хотя бы часть таких конструкций. Например, всем известен пример неевклидовой геометрии (геометрии Лобачевского). Поначалу многие думали, что это есть чистая "игра ума", но в итоге оказалось, что она прекрасно описывает "искривлённые" пространства, и в физических теориях она заняла своё достойное место. Часто вспоминают также о "некоммутативном умножении", то есть такой конструкции, где возможно, что произведение AB не равно произведению BA. Здесь, конечно, речь идёт не об обычных числах, для которых переместительный закон умножения, известный всем из школьной программы, выполнен всегда. Но какие-то другие объекты (например, матрицы, или преобразования, или даже что-то ещё более близкое к числам) могут уже обладать свойством некоммутативности умножения. И такого рода вещи широко используются в моделях квантовой физики.
Можно привести ещё такой пример, который относится к уже более новому времени. Когда я учился в школе, то я хорошо помню, что деятельность по нахождению "очень больших" простых чисел считалась чисто "спортивной", и общепринятым было мнение, что это не может иметь никакого применения на практике. Прошло совсем немного лет, и выяснилось, что для нужд криптографии такие числа оказываются совершенно необходимыми для создания "секретных" способов передачи данных. Всё это давно реализовано в программах, которые мы используем, совершая электронные платежи и прочее.
Последний пример вообще-то немного выходит за рамки разговора, потому что упомянутые числа вряд ли можно считать примером некой "теории". Однако я счёл нужным вспомнить и об этом для иллюстрации такой довольно привычной для меня мысли: какие бы "странные" и на первый взгляд "ненужные" объекты ни изучали математики, рано или поздно всё это оказывается "востребованным" практикой. Изучается обычно что-то, имеющее внутреннюю ценность, обладающее богатым внутренним содержанием. Причём, как правило, без "нацеленности" на какие-то практические нужды. И теорема Гёделя о полноте, как мне кажется, помогает осознать, почему так происходит. Конечно, её значение этим далеко не исчерпывается, но сам тот факт, что любая логически состятельная система положений описывает что-то вполне осмысленное (и часто имеющее в реальности даже не одну, а очень много разных интерпретаций), имеет немалое значение для осмысления причин "непостижимой эффективности" математических теорий и конструкций.
Кстати сказать, даже компьютер можно считать в каком-то смысле "внебрачным потомком" математической логики: ведь поначалу математики просто изучали то, как устроены логические рассуждения, доказательства. А также разного рода "детерминированные" процессы. Эта деятельность привела к осознанию того, как устроены алгоритмы, и как можно создать "универсальное" устройство по "проигрыванию" каких угодно алгоритмов по заранее составленной программе. А это как раз в точности компьютер и есть -- как минимум, на уровне теории."
http://falcao.livejournal.com/189737.html