4 ms·
The article mentions law of excluded middle which doesn't hold in constructive logic so I wonder what exactly happens in the constructive setting.
by dkarapetyan 11y ago
The article mentions law of excluded middle which doesn't hold in constructive logic so I wonder what exactly happens in the constructive setting.
- masterzora 11y agoWell, the part where it directly mentions excluded middle is the part where it cites Boolos commenting on just that.
- dkarapetyan 11y agoThat's not what I mean. What is the analog of the hardest puzzle in the constructive setting.