Post #1421418
2024-07-30 22:12 UTC
@andrejbauer @soaproot I just don’t see why they’re distinct. If the statement “B” in my proof by contradiction happened to be “not B” then it would be the same as your refutation by contradiction. (In a land where not not B is B, and I have never lived in a land where it’s not.) And vice versa.
Replies (1)
-
@marshray@infosec.exchange 2024-07-31 01:33
@DavidKButler@mathstodon.xyz @andrejbauer@mathstodon.xyz @soaproot@sfba.social I’m just a lay person, but I wonder if is this an example of such a world: Say we’re reasoning about some type of statistical significance test. We are forbidden from ever proving the null hypothesis (B), we may only ever reject it (not B). We may fail to reject it (not (not B)), but that’s clearly distinct from (B).