Turing complexity of mathematical structures and their relations Presentation uri icon