Вопреки ограничениям логики мы можем позаимствовать у нее то, что результаты расчетов или абстрактных размышлений не являются "вечными" или очевидными. Очевидно только то, что находится между строчек расчетов. Математики называют находящийся в основе образец (структуру) данного расчета - алгоритмом. Попробуем рассмотреть виды предложений, из которых составлены алгоритмы.
Во-первых, имеются определения, которые, как мы решили, являются только предположениями (если...). Затем следуют определения процесса. И, наконец, имеются конкретные данные. Если числа такие-то и такие-то, если сложение определяется так-то и так-то, мы можем взять "5" и "7" и сложить их в соответствии с уже данными определениями. Но за всем этим кроется еще что-то. Процессу требуется больше того, что уже дано, а именно: скрытое между строчек. Он требует отдачи приказов человеку или машине относительно того порядка, в котором шаги (операции) будут проводиться.
Многие взрослые помнят из школьного курса абстрактные утверждения о порядке операций (действий) расчетов, известные под названием распределенного и перестановочного правил. В виде уравнения математики говорят нам, что: