Hacker News new | ask | show | jobs
by Tainnor 382 days ago
> The halting problem disproved excluded middle.

That's a weird category error.