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