> The halting problem disproved excluded middle.

That's a weird category error.