Proof Methods Showdown
42:37–42:58 · 20s
Hamkins argues that, in classical logic, double-negation makes proof by contradiction and proof-of-negation indistinguishable—countering intuitionist criticisms.
42:37–42:58 · 20s
Hamkins argues that, in classical logic, double-negation makes proof by contradiction and proof-of-negation indistinguishable—countering intuitionist criticisms.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.