paul rubin <phr-pythonb...@nightsong.com> added the comment:
Totally tangential: Veky, your ordinal example would work ok in Haskell and you'd have omega work the same way as epsilon0. Take a look at Herman Ruge Jervell's book "Proof Theory" for a really nice tree-based ordinal notation that goes much higher than epsilon0. It would be cool if your student implemented it. Raymond, I agree that ordinals are a very esoteric use of multisets ;). ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue40411> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
