#theorie #mathematik "#halting problem"