Цитаты из книги «Инноваторы. Как несколько гениев, хакеров и гиков совершили цифровую революцию»

Бэббидж назвал свой манифест “Принципы чистого D-изма как лекарство от университетского старческого слабоумия”27.

Мэри Сомервиль. Сомервиль только что закончила одно из своих великих произведений “О связи физических наук”, в котором она сопоставила открытия в астрономии, оптике, электричестве, химии, физике, ботанике и геологии[3]

Аду: “Может ли человек создать машины, которые когда-нибудь смогут по-настоящему мыслить”?

что машины никогда не смогут по-настоящему думать, и это ее высказывание стало знаменитым), то о ее впечатлении от ма

“история мира есть не что иное, как биографии великих людей”, а Герберт Спенсер возразил ему, выступив с теорией, подчеркивающей роль социальных сил.

утверждения “данное утверждение ложно” не может быть определена. (Если утверждение истинно, то оно также и ложно, и наоборот.)

В течение трех лет математик-логик австрийского происхождения Курт Гёдель (тогда ему было двадцать пять лет, и он жил с матерью в Вене) получил на первые два из этих вопросов неожиданные ответы: “нет” и “нет”. В своей “теореме о неполноте” он доказал, что существуют утверждения, которые не могут быть ни доказаны, ни опровергнуты. Среди них, если немного упростить, оказались те, которые были сродни таким самореферентным утверждениям, как “это утверждение недоказуемо”. Если утверждение верно, то в нем декларируется, что мы не можем доказать, что оно верно; если оно ложно, это также приводит к логическому противоречию. Это отчасти напоминает древнегреческий “парадокс лжеца”,

ли данное конкретное утверждение доказуемым, или остается возможность того, что некоторым утверждениям (к таким, например, относятся математические загадки, такие как последняя теорема Ферма, гипотеза Гольдбаха или гипотеза Коллатца) суждено оставаться неразрешенными? Гильберт думал, что ответы на первые два вопроса должны быть положительными, а третий считал схоластическим. Он сформулировал это просто: “Нет такого понятия, как неразрешимая задача

На конференции 1928 года Гильберт поставил три фундаментальных вопроса, касающихся любой формальной системы математики: (і) Полон ли набор правил в этой системе, в том смысле, что любое утверждение может быть доказано (или опровергнуто) с помощью правил только одной этой системы? (2) Является ли этот набор непротиворечивым (и значит, никакое утверждение не может быть признано одновременно и верным и ложным)? (з) Существует ли какая-то процедура, с помощью которой можно определить, является

Инновации рождаются, когда проросшие семена падают на благодатную почву. Но огромный успех в развитии компьютеров в 1937 году объяснялся не одной причиной, а комбинацией возможностей, идей и потребностей, возникших одновременно во множестве мест. Как это часто бывает в истории изобретений, особенно относящихся к информационным технологиям, просто настало время и ситуация созрела. Развитие электронных ламп в радиоиндустрии подготовило почву для создания электронных цифровых схем. Это сопровождалось открытиями в области теоретической логики, которые сделали применение этих схем более целесообразным. И, кроме того, приход новых компьютеров ускорил барабанный бой приближающейся войны. Когда страны начали вооружаться в преддверии назревающего конфликта, стало ясно, что вычислительная мощность страны была не менее важна, чем ее огневая мощь. Успехи в разных местах подстегивали друг друга и происходили почти одновременно и стихийно в Гарварде и Массачусетском технологическом институте, в Принстоне и в Bell Labs, в берлинских квартирах и даже, что совсем невероятно, но любопытно, в подвальном помещении