4 ms·
Well, the part where it directly mentions excluded middle is the part where it cites Boolos commenting on just that.
by masterzora 11y ago
Well, 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.