3 ms·
On the other hand, "Euclid's proof is not not by contradiction" is a (probably unintentional) meta-restatement of the constructive vs. classical approaches.
by morelisp 5y ago
On the other hand, "Euclid's proof is not not by contradiction" is a (probably unintentional) meta-restatement of the constructive vs. classical approaches.