3 ms·

Er... could you explain this? I don't get it, I'm afraid =\

• warwick 16y ago
  It's a reference to intuitionism, a constructivist approach to math and logic. Because the law of the excluded middle is disallowed in intuitionist proofs, you can't show what the parent comment was annoyed about.