"#halting problem" #mathematik #computertheorie