"#halting problem" #theorie