2 ms·> The halting problem disproved excluded middle. That's a weird category error.by Tainnor 1y ago> The halting problem disproved excluded middle. That's a weird category error.