It's not malformed, it's just incorrect. Additionally, the halting problem is ab...

		domnomnom on Oct 13, 2020 \| parent \| context \| favorite \| on: 14,000x Speedup (2015) It's not malformed, it's just incorrect. Additionally, the halting problem is about provability. That sort of imprecision of language needs qualifiers at least.