78. Способы доказательств
— Взгляни на этого математика, — сказал логик. — Он замечает, что первые девяносто девять чисел меньше сотни, и отсюда с помощью того, что он называет индукцией, заключает, что любые числа меньше сотни.
— Физик верит, — сказал математик, — что 60 делится на все числа. Он замечает, что 60 делится на 1, 2, 3, 4, 5 и 6. Он проверяет несколько других чисел, например, 10, 20 и 30, взятых, как он говорит, наугад. Так как 60 делится и на них, то он считает экспериментальные данные достаточными.
— Да, но взгляни на инженера, — возразил физик. — Инженер подозревает, что все нечетные числа простые. Во всяком случае, 1 можно рассматривать как простое число, доказывает он. Затем идут 3, 5 и 7, все несомненно, простые. Затем идет 9 — досадный случай; по-видимому, 9 не является простым числом, но 11 и 13, конечно, простые. «Возвратимся к 9, — говорит он, — я заключаю, что 9 должно быть ошибкой эксперимента».
(Цит. по книге: Пойа Д. Математика и правдоподобные рассуждения.)
Другое по теме
Уход в абстракцию
Доказательство — это идол, которому математики приносят себя
в жертву.
Сэр Артур Эддингтон
После работ Эрнста Куммера надежды найти доказательство
ослабли, как никогда прежде. Кроме того, в математике начали развиваться
разли ...