Джим Холт — лучшие цитаты из книг, афоризмы и высказывания
image
  1. Главная
  2. Библиотека
  3. ⭐️Джим Холт
  4. Цитаты из книг автора

Цитаты из книг автора «Джим Холт»

162 
цитаты

Алан Тьюринг был моложе фон Неймана почти на десять лет и приехал в Принстон в 1936 году писать диссертацию по математике. В том же году, за несколько месяцев до поездки в Америку, он в возрасте 23 лет решил величайшую проблему логики – проблему разрешимости. Эта задача восходит к философу XVII века Лейбницу, который мечтал об «универсальном символизме, в рамках которого все логические истины можно будет свести к особого рода расчетам». Но можно ли исполнить мечту Лейбница и свести рассуждения к вычислениям? А точнее, существует ли автоматическая процедура, которая позволила бы решать, следует ли тот или иной вывод из заданного набора посылок? В этом и состояла проблема разрешимости. И Тьюринг ответил на нее отрицательно: он математически доказал, что такой автоматической процедуры не существует. При этом он придумал идеальную машину, которая задавала пределы вычислимости – мы называем ее машиной Тьюринга.
9 февраля 2021

Поделиться

Близкие Тьюринга говорили, что он любил напевать под нос заклинание злой колдуньи: «В зелье яблоко макнем – смертный сон поселим в нем».
9 февраля 2021

Поделиться

Таковы были разнаряженные, суетные предшественники компьютерной эпохи – эпохи, первым идеологом которой стала нервная молодая женщина, дочь поэта, считавшая себя феей.
9 февраля 2021

Поделиться

то первым великим программистом был Жозеф-Мари Жаккар, тот самый француз, который в начале XIX века начал применять перфорированные карты, чтобы заставить автоматические станки ткать парчу со сложными узорами.
9 февраля 2021

Поделиться

Первые цифровые компьютеры, возникшие в начале сороковых, – английский компьютер «Колосс» из Блетчли-парк, где благодаря гению Тьюринга был взломан фашистский код «Энигма»
9 февраля 2021

Поделиться

нарушая права настоящего изобретателя первого компьютера – Бэббиджа.
9 февраля 2021

Поделиться

Аду назвали «первым хакером», видимо, в отчаянной попытке придать хоть немного благородства занятию, которое в наши дни считается откровенно грязным.
9 февраля 2021

Поделиться

Машина Бэббиджа была не первым механическим калькулятором. Еще в 1642 году
9 февраля 2021

Поделиться

Байрон поддерживал кровосмесительную связь со своей сестрой по отцу Августой Ли, а вдобавок еще и заводил гомосексуальные романы, что в эпоху, когда за содомию полагалась смертная казнь, было еще страшнее.
9 февраля 2021

Поделиться

Парадокс: первым пра-программистом стала плоть и кровь лорда Байрона, которому наверняка претило бы все связанное с компьютерами.
9 февраля 2021

Поделиться

1
...
...
17