Квантовое превосходство: Революция в вычислениях, которая изменит всё. Митио Каку

по заданным правилам манипулировать символами, среди которых числа – всего лишь один пример»{12}.

      В частности, Лавлейс указала, что компьютер можно было бы запрограммировать на создание музыкальных пьес. Она писала, что «машина могла бы сочинять изысканные и техничные музыкальные пьесы любой степени сложности и продолжительности»{13}. Так что компьютер в ее представлении был не просто шикарной суммирующей машиной и предназначался не только для щелканья чисел. Его можно было использовать также для исследования науки, искусства, музыки и культуры. К несчастью, Лавлейс умерла от рака в возрасте 36 лет, не успев развить эти революционные концепции.

      Между тем, поскольку денег Бэббиджу хронически не хватало, к тому же он постоянно влезал в споры с коллегами, его мечта о создании самого совершенного механического вычислителя своего времени так никогда и не осуществилась. Когда он умер, многие его схемы и идеи умерли вместе с ним.

      В последующие годы ученые не раз пытались выяснить точно, насколько совершенными были его машины. Так, схема одной из незаконченных моделей содержала 25 000 деталей. В построенном виде эта машина весила бы четыре тонны и возвышалась бы почти на два с половиной метра. Он так сильно обогнал свое время, что его машина могла бы манипулировать тысячей 50-значных чисел. Такого гигантского объема памяти не появится у других машин вплоть до 1960 г.

      Примерно через 100 лет после смерти Бэббиджа инженеры лондонского Музея науки, опираясь на его схемы и записи, сумели достроить одну из его моделей и представить публике получившийся образец. И эта машина работает, как предсказывал в прошлом столетии Бэббидж.

      Полна ли математика?

      Пока инженеры строили все более сложные механические вычислители в ответ на потребности развивающегося промышленного мира, чистые математики задавались еще одним вопросом. Еще древнегреческие геометры мечтали продемонстрировать, что все истинные утверждения в математике могут быть строго доказаны.