6.1. Индуктивное рассуждение.Математическая логика и теория алгоритмов

В математическом творчестве основные части: это догадка и доказательство. Догадка может быть направлена на получение гипотезы — предположения, истинность которого мы ожидаем. В этом случае, получив гипотезу, мы нуждаемся в ее доказательстве. Но нам необходимо также догадаться, как провести безупречное доказательство. Также решение серьезной математической задачи во многих случаях требует математического открытия (хотя бы для того, кто решает задачу). И в этом случае часто мы должны догадаться. В первой главе мы упомянули о двух видах логических рассуждений: индукции и дедукции. Рассмотрим подробно индукцию. Весь материал взят: