Hacker News Reader

The article mentions law of excluded middle which doesn't hold in constructive logic so I wonder what exactly happens in the constructive setting.

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.