|
Журнал «Компьютерра» 2005 № 44 (616) 29 ноября 2005 годаНачиналось все хорошо. Сначала компьютер бодренько передоказал все теоремы в «Principia mathematica» - фундаментальных «Основаниях математики» Рассела и Уайтхеда. Поcле этого возможности вычислительной техники - в ее логическом, символьном, а не цифровом, расчетном обличии - стали все шире и шире применяться для доказательства теорем. Изящно и компактно формулируемых, но невероятно длинно доказываемых. После первой эйфории наступило некоторое замешательство. Затем заговорили о кризисе математики. Очередном. Связанном с тем, что проверить компьютерное доказательство теоремы обычным методом невозможно. Слишком долго и трудоемко. А безусловно надежных средств проверить корректность работы программы не существует. Всегда имеется какая-то вероятность. Самая обыденная вещь - связка ключей. Брелок с сигнализацией, брелок-фонарик. Даже отвлекшись от цифровой схемы управления сигнализацией, мы все равно имеем дело со светодиодами. Инфракрасными - в сигнализации. Видимого спектра - в фонарике. А эти устройства сильно отличаются от лампы накаливания ...» |
Код для вставки книги в блог HTML
phpBB
текст
|
|