Вихревая структура ℤ/9
Автор: Цветан Роушев · Лицензия: CC BY-NC 4.0 · перевычислимое доказательство концепции
Свободная, открытая, перевычислимая структура над кольцом ℤ/9 и группой (ℤ/7)*. Механическая проверка следствия даёт 0 / 7: структура отражает/отображает проблемы тысячелетия, но не решает их. Доказательство концепции, не решение.
Подробные страницы пока на английском, до перевода: Compute · Research · Verify.