История изменений
Исправление beastie, (текущая версия) :
На правах зануды: сложение и умножение это формально тоже циклические операции: для упорядоченного множества X сложение определено как:
X := { one, … }
\forall x \in X : +1 (x) \mapsto next(x)
\forall a, b \in X : + (a, b) \mapsto repeat b times +1(a)
Умножение выводится из сложения аналогично.
Исправление beastie, :
На правах зануды: сложение и умножение это формально тоже циклические операции: для упорядоченного множества X сложение определено как:
X := { one, … }
\forall x \in X : \mapsto (x) -> next(x)
\forall a, b \in X : + (a, b) \mapsto repeat b times +1(a)
Умножение выводится из сложения аналогично.
Исправление beastie, :
На правах зануды: сложение и умножение это формально тоже циклические операции: для упорядоченного множества X сложение определено как:
X = { one, … }
\forall x \in X : +1 (x) -> next(x)
\forall a, b \in X : + (a, b) -> repeat b times +1(a)
Умножение выводится из сложения аналогично.
Исходная версия beastie, :
На правах зануды: сложение и умножение это формально тоже циклические операции: для упорядоченного множиства X сложение определено как:
X = { one, … }
\forall x \in X : +1 (x) -> next(x)
\forall a, b \in X : + (a, b) -> repeat b times +1(a)
Умножение выводится из сложения аналогично.