Оказалось, что моя годичной давности идея уже реализована. Ничего страшного :) Любителям теории категорий, компиляторов и просто интересного чтива рекомендуется.
По сообщениям решение Герхарда Опфера (Gerhard Opfer) гипотезы Коллатца содержит ошибку. Тем не менее, идея представляется интересной и возможно приведет к правильному решению
( Read more... )