Sounds right. I’m also not sure how damning the accusation is that he worked on squaring the circle. It wouldn’t be proven impossible for hundreds years after

Sounds right. I’m also not sure how damning the accusation is that he worked on squaring the circle. It wouldn’t be proven impossible for hundreds years after his time. I guess you could say he chased something already widely accepted but not proven, but kind of big deal? I wouldn’t fault someone for spending some spare time on P ≠ NP just out of curiosity.