https://www.maths.nottingham.ac.uk/personal/ibf/notesoniut.pdf
> I would expect that this algorithmic aspect may eventually make IUT a theory studied by future mathematical language theories.
これ、言いたいことははっきりしてるけど言葉がなくて十分に表現できない、って言ってるの?
すごい世界だな