2 * 2 = 4
От: Сергей Губанов Россия http://sergey-gubanov.livejournal.com/
Дата: 26.10.05 07:01
Оценка: :))) :))) :)
Начало здесь
Автор: 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
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.