История изменений
Исправление lesopilorama, (текущая версия) :
Мне ясно, что математика - про структуры. Сделанные из логики. Это такие структуры, договорившись о единой логике в которых, два независимых наблюдателя получают на этих структурах одинаковое поведение этой логики. Это-то ладно. Вопрос был про конкретную структуру - почему решили слепить именно её и так долго на неё надр**чивают. Видимо её свойства таковы, что возня с ней имеет неиллюзорные преимущества.
Исходная версия lesopilorama, :
Мне ясно, что математика - про структуры. Сделанные из логики. Это такие структуры, договорившись о единой логике в которых, два независимых наблюдателя получают на этих структурах ровно их поведение какбэ. Это-то ладно. Вопрос был про конкретную структуру - почему решили слепить именно её и так долго на неё надр**чивают. Видимо её свойства таковы, что возня с ней имеет неиллюзорные преимущества.