Hacker News Reader

Well, the part where it directly mentions excluded middle is the part where it cites Boolos commenting on just that.

That's not what I mean. What is the analog of the hardest puzzle in the constructive setting.