Начало
здесьАвтор: moudrick
Дата: 16.06.05
.
Здравствуйте, moudrick, Вы писали:
M>Здравствуйте, Сергей Губанов, Вы писали:
СГ>>Здравствуйте, Cyberax, Вы писали:
>>>> ? Так ведь если кто-то заявит, что 2*2=5, глядишь, целая дискуссия
>>>> начнется на эту тему
C>>>А что, при желании можно придумать алгебраическую структуру, где это
C>>>будет именно так
СГ>>Нельзя придумать.
M>Доказательство в студию.
Хорошо. Вот доказательство того что 2*2 = 4.
По определению, любая функция умножения mul(X, Y) линейна по первому и по второму аргументам:
mul(X, Y + Z) = mul(X, Y) + mul(X, Z);
mul(X +Y, Z) = mul(X, Z) + mul(Y, Z);
Дополнительно к этому, любая функция умножения будучи применённая к 0 и 1, по определению, даёт следующие результаты:
mul(X, 0) = mul(0, X) = 0;
mul(X, 1) = mul(1, X) = X;
Ну, а теперь докажем, что mul(2, 2) = 4.
mul(2, 2) = mul(2, 1 + 1) = mul(2, 1) + mul(2, 1) = 2 + 2 = 4