"#halting problem" #computertheorie