Математические доказательства хороши тем, что если они верны, их выводы наступают с неизбежностью. А иногда (такова сила человеческой интуиции) вывод может наступить до самого доказательства. Само по себе математическое предчувствие может быть толчком к разработке математической базы для этого предчувствия. Поэтому существует так много математических гипотез, не имеющих доказательства, но при этом, до сих пор никем не опровергнутых. Один из самых элементарных примеров такой догадки - гипотеза Коллатца или, по-другому, "проблема 3х+1". Эта замечательная проблема стоит отдельного поста. Но вернёмся к математической уверенности.
Такая же, как и у математиков, строгость и нацеленность на неизбежное рациональное решение любой проблемы наблюдается часто у инженеров и наша сегодняшняя история как раз о том, как инженер компании General Motors смог не потерять исследовательской хватки в ситуации, фантастичность которой переходит все пределы.
Итак, в 1978 году в офис компании Pontiac, входи