3 ms·
By "constructively" do you mean in a constructivist logic like intuitionist logic? I'm too lazy to work it out right now, but I'd place my money on that stateme
by sid0 16y ago
By "constructively" do you mean in a constructivist logic like intuitionist logic? I'm too lazy to work it out right now, but I'd place my money on that statement not being valid in intuitionist logic.
- moultano 16y agoYes. That's what I meant. That was my feeling too, but I know myself too well than to place any bets on what is provable or not constructively unless I work it out. :)