Proof by contradiction is not constructive, since it uses the Law of the Exclude... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

jonsterling on May 14, 2013 | parent | context | favorite | on: Every odd number greater than five is the sum of t...

Proof by contradiction is not constructive, since it uses the Law of the Excluded Middle.

prutschman on May 14, 2013 [–]

There are some subtleties there. Andrej Bauer covers them well: http://math.andrej.com/2010/03/29/proof-of-negation-and-proo...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact