"#halting problem" #mathematik